13th International Workshop on
Expressiveness in Concurrency
26 August, 2006
Bonn, Germany
Affiliated with CONCUR 2006
Invited speakers:
Express-Infinity-SOS invited speaker:
Robin Milner (Cambridge, UK)
Bigraphs, multi-local names and confluence

Express invited speaker:
Hagen Völzer (Lübeck, Germany)
When a system is fairly correct
[ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ]

Accepted Papers

Out of 24 submissions,
the following 9 papers were accepted by the programme committee.

Xu Wang, Marta Kwiatkowska
Compositional state space reduction using untangled actions

Daniel Hirschkoff, Damien Pous
On Closure under Substitution of Strong Bisimilarity

Daniele Gorla
Synchrony vs Asynchrony in Communication Primitives

Vincent Danos, Jean Krivine, Pawel Sobocinski
General reversibility

Lucy Saunders-Evans, Glynn Winskel
Event Structure Spans for Non-deterministic Dataflow

Ahmed Bouajjani, Jan Strejcek, Tayssir Touili
On Symbolic Verification of Weakly Extended PAD

Luís Caires, Hugo Torres Vieira
Extensionality of Spatial Observations in Distributed Systems

Jos Baeten, Flavio Corradini, Clemens Grabmayer
On the Star Height of Regular Expressions Under Bisimulation

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
Fair Pi

webadmin of this site: iccp "at"