|
|
||||||
|
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 ] | |||||||
|
Out of 24 submissions, | ||
|
|
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" doc.ic.ac.uk |