|
|
||||||
|
Invited speakers:
Rocco De Nicola (Florence University, Italy)
Rob van Glabbeek (NICTA, Australia) | |||||||
| [ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ] | |||||||
|
Out of 22 submissions, | ||
|
|
Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin On the omega-language Expressive Power of Extended Petri Nets Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Fairness of Components in System Computations Emmanuel Beffara, Francois Maurel Concurrent Nets: A Study of Prefixing in Process Calculi Suzana Andova, Tim Willemse Equivalences for silent transitions in Probabilistic Systems Xudong Guan Name-Passing In An Ambient-Like Calculus and Its Proof Using Spatial Logic Harald Fecher, Martin Steffen Characteristic mu-Calculus Formula for an Underspecified Transition System Reynald Affeldt, Naoki Kobayashi Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr. Godskesen A CPS Encoding of Name-Passing in Higher-order Mobile Embedded Resources Iain Phillips, Maria Grazia Vigliotti Leader Election in Rings of Ambient Processes | |
| e-mail to the webadmin of this site |