9:00 - 10:00 |
|
Invited Talk (Chair: C. Palamidessi)
Davide Sangiorgi:
Types, or: Where's the Difference Between CCS and Pi?
|
10:00 - 10:30 |
Break |
|
Mobility (Chair: R. Amadio) |
10:30 - 11:00 |
Jens Chr. Godskesen, Thomas Hildebrandt, and Vladimiro Sassone:
A Calculus of Mobile Resources
|
11:00 - 11:30 |
David Teller, Pascal Zimmer, and Daniel Hirschkoff:
Using Ambients to Control Resources
|
11:30 - 12:00 |
Massimo Merro and Vladimiro Sassone:
Typing and Subtyping Mobility in Boxed Ambients
|
12:00 - 12:30 |
Roberto Bruni, Cosimo Laneve, and Ugo Montanari:
Orchestrating Transactions in Join Calculus
|
12:30 - 14:00 |
Lunch |
|
Probabilistic Systems (Chair: E. Best) |
14:00 - 14:30 |
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, and Boudewijn Haverkort:
Simulation for Continuous-Time Markov Chains
|
14:30 - 15:00 |
Josee Desharnais, Vineet Gupta, Radha Jagadeesan, and Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*
|
15:00 - 15:30 |
Stefano Cattani and Roberto Segala:
Decision Algorithms for Probabilistic Bisimulation
|
15:30 - 15:50 |
Break |
|
Models of Computation, Process Algebra I (Chair: P. Schnoebelen) |
15:50 - 16:20 |
Gerald Luettgen and Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
|
16:20 - 16:50 |
Jean Fanchon and Remi Morin:
Regular Sets of Pomsets with Autoconcurrency
|
16:50 - 17:00 |
Break |
17:00 - 18:30 |
Tutorial (Chair: M. Kretinsky)
Andrew Gordon:
Types for Cryptographic Protocols
|
19:15 |
Departure for Conference Dinner |