|
Published: 28th November 2010 DOI: 10.4204/EPTCS.41 ISSN: 2075-2180 |
| Preface Sibylle Fröschle and Frank D. Valencia | |
| Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) Jos C. M. Baeten, Bas Luttik, Tim Muller and Paul van Tilburg | 1 |
| A criterion for separating process calculi Federico Banti, Rosario Pugliese and Francesco Tiezzi | 16 |
| Process Behaviour: Formulae vs. Tests (Extended Abstract) Andrea Cerone and Matthew Hennessy | 31 |
| Light Logics and Higher-Order Processes Ugo Dal Lago, Simone Martini and Davide Sangiorgi | 46 |
| Relating timed and register automata Diego Figueira, Piotr Hofman and Sławomir Lasota | 61 |
| A Process Calculus for Expressing Finite Place/Transition Petri Nets Roberto Gorrieri and Cristian Versari | 76 |
| Models for CSP with availability information Gavin Lowe | 91 |
| Robustness of Equations Under Operational Extensions Peter D. Mosses, MohammadReza Mousavi and Michel A. Reniers | 106 |
| Multiparty Symmetric Sum Types Lasse Nielsen, Nobuko Yoshida and Kohei Honda | 121 |
| Breaking Symmetries Kirstin Peters and Uwe Nestmann | 136 |
This volume contains the proceedings of the 17th international workshop on Expressiveness in Concurrency (EXPRESS'10) which took place on August 30th, 2010 in Paris. As in previous years, the workshop was co-located with CONCUR'10.
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. 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 computational paradigms such as quantum computing, biocomputing, logic and interaction, game-theoretic models, and service-oriented computing.
In response to this year's call for papers, we received twenty paper submissions. The programme committee selected ten papers for presentation at the workshop. These proceedings contain these selected contributions. The workshop also had two invited presentations, one by Daniele Varacca on Causality in the pi-calculus and the other one, joint with the SOS workshop, by Catuscia Palamidessi on Compositionality of Secure Information Flow.
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 organizing committee for hosting EXPRESS'10. We are grateful to Luis Pino for helping us with the edition of the pre-proceedings distributed at the workshop. Finally, we would like to thank our EPTCS editor Rob van Glabbeek for publishing these proceedings and his help during the preparation.
The editors,
Sibylle Fröschle and Frank D. Valencia,
Oldenburg and Paris, November 2010.
Conference Organization
Programme Chairs
Sibylle Fröschle
Frank Valencia
Programme Committee
Nathalie Bertrand
Wan Fokkink
Sergio Maffeis
Uwe Nestmann
Philippe Schnoebelen
Jan Strejček
Alwen Tiu
Björn Victor
Gianluigi Zavattarro
External Reviewers
Agostino Dovier
Carlos Olarte
Daniele Gorla
Daniele Varacca
David Baelde
Davide Sangiorgi
Eduardo Bonelli
Filippo Bonchi
Gerardo M. Sarria M.
Jim Laird
Johannes Borgstrom
Jorge A. Perez
Kirstin Peters
Marco Carbone
Nikola Trčka
Ranko Lazic
Rob van Glabbeek
Steffen Van Bakel
Sven Schneider
Yuxi Fu
Yuxin Deng
Zdenek Sawa