Published: 17th November 2009|
|Preface Sibylle Fröschle and Daniele Gorla|
|Characteristic Formulae for Fixed-Point Semantics: A General Framework Luca Aceto, Anna Ingolfsdottir and Joshua Sack||1|
|Almost Linear Büchi Automata Tomáš Babiak, Vojtěch Řehák and Jan Strejček||16|
|Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic Edgar G. Daylight, Sandeep K. Shukla and Davide Sergio||26|
|Modal Logic and the Approximation Induction Principle Maciej Gazda and Wan Fokkink||41|
|Security Theorems via Model Theory Joshua Guttman||51|
|Robustness of a bisimulation-type faster-than preorder Katrin Iltgen and Walter Vogler||66|
This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09.
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. Since EXPRESS'09 we have made this development "official": we are now aiming to bring together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing.
In response to the call for papers we received 13 full paper submissions and one short paper submission. The programme committee selected 6 full papers for presentation at the workshop and publication in these proceedings. The one submitted short paper was accepted for presentation at the workshop: "lambdabarmumutilde calculus, pi-calculus, and abstract machines" by Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi.
In addition, we had two invited talks:
We would like to thank the authors of the submitted papers, the invited speakers, the members of the programme committee, and their subreferees for their contribution. Also we are grateful to the CONCUR organizing committee for hosting EXPRESS'09. Especially we wish to thank the workshop chair Ivan Lanese for local support.
Finally, we would like to thank our EPTCS editor Rob van Glabbeek for
publishing these proceedings and for his help during the preparation.
Sibylle Fröschle and Daniele Gorla
Oldenburg and Roma, October 2009