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 ]

EXPRESS '06 -- Preliminary Programme

9.00-10.00: Express invited talk: Hagen Völzer
When a system is fairly correct
10.00-10.30: Morning Session
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
Fair Pi
10.30-11.00: COFFEE BREAK
11.00-12.30: Morning Session
Jos Baeten, Flavio Corradini, Clemens Grabmayer
On the Star Height of Regular Expressions Under Bisimulation
Xu Wang, Marta Kwiatkowska
Compositional state space reduction using untangled actions
Ahmed Bouajjani, Jan Strejček, Tayssir Touili
On Symbolic Verification of Weakly Extended PAD
12.30-14.30: LUNCH
14.30-15.30: Joint Express-Infinity-SOS invited talk: Robin Milner
Bigraphs, multi-local names and confluence
15.30-16:00: Afternoon Session
Vincent Danos, Jean Krivine, Pawel Sobocinski
General reversibility
16.00-16.30: COFFEE BREAK
16.30-18.30: Afternoon Session
Daniele Gorla
Synchrony vs Asynchrony in Communication Primitives
Lucy Saunders-Evans, Glynn Winskel
Event Structure Spans for Non-deterministic Dataflow
Luís Caires, Hugo Torres Vieira
Extensionality of Spatial Observations in Distributed Systems
Daniel Hirschkoff, Damien Pous
On Closure under Substitution of Strong Bisimilarity

webadmin of this site: iccp "at"