Published: 17th November 2009
DOI: 10.4204/EPTCS.8
ISSN: 2075-2180

EPTCS 8

Proceedings 16th International Workshop on
Expressiveness in Concurrency
Bologna, Italy, 5th September 2009

Edited by: Sibylle Fröschle and Daniele Gorla

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

Preface

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

Programme Committee

Subreferees