|
|
||||||
|
Invited speakers: Tom Henzinger (EPFL, Switzerland)
Glynn Winskel (University of Cambridge, England) | |||||||
| [ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ] | |||||||
|
Out of 15 submissions, | ||
|
|
Roberto Amadio, Frédéric Dabrowski Feasible reactivity for synchronous cooperative threads Raymond Devillers, Hanna Klaudel, Maciej Koutny A Petri net semantics of a simple process algebra for mobility Petr Jančar, Martin Kot, Zdeněk Sawa Notes on Complexity of Bisimilarity between BPA and BPP 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 Nathalie Bertrand, Philippe Schnoebelen A short visit to the STS hierarchy Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Separation of synchronous and asynchronous communication via testing Sébastien Briais, Uwe Nestmann Open Bisimulation, Revisited Johannes Borgström Static Equivalence is Harder than Knowledge | |
| e-mail to the webadmin of this site |