12th International Workshop on
Expressiveness in Concurrency
27 August, 2005
San Francisco, USA
Affiliated with CONCUR 2005 (mirror site CONCUR2005 )
Invited speakers:
Tom Henzinger (EPFL, Switzerland)
Glynn Winskel (University of Cambridge, England)
[ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ]

EXPRESS '05 -- Preliminary Program

9.00-10.00: Invited talk: Glynn Winskel
Event Structures --- Maps, Monads and Spans
10.00-10.30: COFFEE BREAK
10.30-12.30: Morning Session
Sibylle Fröschle, Sławomir Lasota
Causality Versus True-Concurrency
Maribel Fernández, Ian Mackie, François-Régis Sinot
Interaction Nets vs. the ρ-Calculus: Introducing Bigraphical Nets
Roberto Amadio, Frédéric Dabrowski
Feasible Reactivity for Synchronous Cooperative Threads
Johannes Borgström
Static Equivalence is Harder than Knowledge
12.30-14.00: LUNCH
14.00-15.00: Invited talk: Tom Henzinger
Processes as Games
15.00-15.30: Afternoon Session
Nathalie Bertrand, Phillippe Schnoebelen
A Short Visit to the STS Hierarchy
15.30-16.00: COFFEE BREAK
16.00-18.00: Afternoon Session
Petr Jančar, Martin Kot, Zdeněk Sawa
Notes on Complexity of Bisimilarity between BPA and BPP
Raymond Devillers, Hanna Klaudel, Maciej Koutny
A Petri Net Semantics of a Simple Process Algebra for Mobility
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
Separation of Synchronous and Asynchronous Communication via Testing
Sébastien Briais, Uwe Nestmann
Open Bisimulation, Revisited

e-mail to the webadmin of this site