Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)

The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus 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, rewrite systems etc.) on the basis of their relative expressive power. The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996, co-chaired by Ursula Goltz and Rocco De Nicola). EXPRESS’97, which took place in Santa Margherita Ligure and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. EXPRESS’98, co-chaired by Ilaria Castellani and Catuscia Palamidessi, was held as a satellite workshop of the CONCUR’98 conference in Nice and like on that occasion EXPRESS’99, co-chaired by Ilaria Castellani and Bj¨orn Victor, was hosted by the CONCUR’99 conference in Eindhoven. The EXPRESS’00 workshop, co-chaired by Luca Aceto and Bj¨orn Victor, was held as a satellite workshop of CONCUR 2000, Pennsylvania State University, USA. The EXPRESS’01 workshop, co-chaired by Luca Aceto and Prakash Panangaden, was held at BRICS, Aalborg University as a satellite of CONCUR’01. The EXPRESS’02 workshop, co-chaired by Uwe Nestmann and Prakash Panangaden, was held at Brno University as a satellite of CONCUR’02. The EXPRESS’03 workshop, co-chaired by Flavio Corradini and Uwe Nestmann, was co-located with CONCUR 2003, Marseille, France. The EXPRESS ’04 workshop, co-chaired by Jos Baeten and Flavio Corradini, was co-located with CONCUR 2004, London, Great Britain. The EXPRESS ’05 workshop, co-chaired by Jos Baeten and Iain Phillips, was co-located with CONCUR2005, San Francisco, USA. The EXPRESS ’06 workshop, co-chaired by Roberto Amadio and Iain Phillips, was co-located with CONCUR 2006, Bonn, Germany. This year EXPRESS is co-located with CONCUR ’07, held in Lisbon. In response to the call for papers, we received one short paper and 13 full papers. The program committee selected 4 of the full papers for presentation at the workshop. In addition, the workshop contains four invited presentations, by C´edric Fournet (invited jointly with the SECCO workshop), Jos Baeten, Fran¸ cois Laroussinie, and Iain Phillips (invited jointly with the GTVC workshop), and a discussion introduced and moderated by Daniele Gorla and Uwe Nestmann on the definition of the criteria that make an encoding ’good’. Abstracts for the invited talks and discussion appear in these preliminary proceedings. We would like to thank the authors of the submitted papers, the invited speakers, the members of the program committee, and their subreferees for their contribution to both the meeting and this volume. Also we thank Daniele and Uwe for introducing the discussion, the CONCUR organising committee for hosting EXPRESS07, and the workshop organisers Francisco Martins and Ant´onio Ravara for arranging the printing of these preliminary proceedings, which were compiled by Espen Højsgaard. The final proceedings will become available electronically at Elsevier’s web site http://www.elsevier.com/locate/entcs.