|
Published: 20th August 2011 DOI: 10.4204/EPTCS.64 ISSN: 2075-2180 |
| Preface | |
| Graphical representation of covariant-contravariant modal formulae Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir and Miguel Palomino | 1 |
| Information Flow Safety in Multiparty Sessions Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini | 16 |
| Read Operators and their Expressiveness in Process Algebras Flavio Corradini, Maria Rita Di Berardini and Walter Vogler | 31 |
| Termination in a Pi-calculus with Subtyping Ioana Cristescu and Daniel Hirschkoff | 44 |
| Soft Session Types Ugo Dal Lago and Paolo Di Giamberardino | 59 |
| Linearization of CIF Through SOS Damian Nadales Agut and Michel Reniers | 74 |
| Synchrony vs Causality in the Asynchronous Pi-Calculus Kirstin Peters, Jens-Wolfhard Schicke and Uwe Nestmann | 89 |
| A Logic with Reverse Modalities for History-preserving Bisimulations Iain Phillips and Irek Ulidowski | 104 |
| Synchrony vs. Causality in Asynchronous Petri Nets Jens-Wolfhard Schicke, Kirstin Peters and Ursula Goltz | 119 |
This volume contains the proceedings of the 18th international workshop on Expressiveness in Concurrency (EXPRESS'11) which was held on September 5, 2011 in Aachen, Germany, as a satellite event of CONCUR'11.
The purpose of the EXPRESS workshops is to bring together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. Their focus has traditionally been on the comparison of programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and of models of computation (such as process algebras, Petri nets, event structures 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. We now solicit contributions on formal models that broadly relate to concurrency (e.g., also including computational paradigms such as quantum computing, biocomputing, game-theoretic models, and service-oriented computing), and logics to reason about such formal models.
In response to this year's call for papers, we received twelve paper submissions. The programme committee selected nine papers for presentation at the workshop. These proceedings contain these selected contributions. The workshop also had two invited presentations:
We would like to thank the authors of the submitted papers, the
invited speakers, the members of the programme committee, and their
subreviewers for their contribution to both the meeting and this
volume. We also thank the CONCUR'11 organizing committee for hosting
EXPRESS'11. Finally, we would like to thank our EPTCS editor Rob van
Glabbeek for publishing these proceedings and his help during the
preparation.
Bas Luttik and Frank D. Valencia,
Eindhoven and Paris, August 2011.