Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)
The EXPRESS workshops aim at bringing together researchers interestedin the relations between various formal systems, particularly in thefield of Concurrency. More specifically, they focus on the comparisonbetween programming concepts (such as concurrent, functional,imperative, logic and object-oriented programming) and betweenmathematical models of computation (such as process algebras, Petrinets, event structures, modal logics, rewrite systems etc.) on thebasis of their relative expressive power.
This year EXPRESS is co-located with CONCUR '07, held in Lisbon. Inresponse to the call for papers, we received one short paper and 13full papers. The program committee selected 4 of the full papers forpresentation at the workshop. In addition, the workshop contains fourinvited presentations, by Cédric Fournet (invited jointly with theSECCO workshop), Jos Baeten, François Laroussinie, and IainPhillips (invited jointly with the GTVC workshop), and a discussionintroduced and moderated by Daniele Gorla and Uwe Nestmann on thedefinition of the criteria that make an encoding 'good'. Abstracts forthe invited talks and discussion appear in these preliminaryproceedings. We would like to thank the authors of the submittedpapers, the invited speakers, the members of the program committee,and their subreferees for their contribution to both the meeting andthis volume. Also we thank Daniele and Uwe for introducing thediscussion, the CONCUR organising committee for hosting EXPRESS'07,and the workshop organisers Francisco Martins and António Ravara forarranging the printing of these preliminary proceedings, which werecompiled by Espen Højsgaard. The final proceedings will become available electronically at Elsevier's web site: http://www.elsevier.com/locate/entcs.
Technical report TR-2007-100 in IT University Technical Report Series, September 2007. Available as PDF