Séminaire, Dec. 6, 2012

Attention cette rencontre aura lieu à Paris.

La rencontre se tiendra salle 1D06, au 175 rue de Chevaleret, Métro Chevaleret (ligne 6) ou Bibliothèque (14) ou 20 minutes à pieds depuis la Gare de Lyon.


10:15 – 11:15
Matthew Hennessy (Trinity College, Dublin)

We propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error recovery in distributed systems. We extend CCS with this construct and give a simple semantics for the extended calculus, called TransCCS. We develop a sound and complete theory for both may- and fair-testing, which we believe are the appropriate notions to capture safety and liveness in TransCCS. We exhibit the usefulness of our theory by proving illuminating laws and simple but non-trivial examples.

Joint work with Edsko de Vries and Vasileios Koutavas

13:30 – 14:30
Gérard Boudol (INRIA)
15:00 – 17:30

La soutenance de thèse d'Antoine Madet suivra cette rencontre, à 15h00.