Published: 28th November 2010
DOI: 10.4204/EPTCS.41
ISSN: 2075-2180


Proceedings 17th International Workshop on
Expressiveness in Concurrency
Paris, France, August 30th, 2010

Edited by: Sibylle Fröschle and Frank D. Valencia

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
A criterion for separating process calculi
Federico Banti, Rosario Pugliese and Francesco Tiezzi
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Andrea Cerone and Matthew Hennessy
Light Logics and Higher-Order Processes
Ugo Dal Lago, Simone Martini and Davide Sangiorgi
Relating timed and register automata
Diego Figueira, Piotr Hofman and Sławomir Lasota
A Process Calculus for Expressing Finite Place/Transition Petri Nets
Roberto Gorrieri and Cristian Versari
Models for CSP with availability information
Gavin Lowe
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi and Michel A. Reniers
Multiparty Symmetric Sum Types
Lasse Nielsen, Nobuko Yoshida and Kohei Honda
Breaking Symmetries
Kirstin Peters and Uwe Nestmann



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