Séminaire, 6 décembre 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.
Programme
- 10:15 – 11:15
-
Matthew Hennessy (Trinity College, Dublin)Invited talk: A theory of communicating transactions
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)Invited talk: Relaxed Semantics of Concurrent Programs
- 15:00 – 17:30
La soutenance de thèse d'Antoine Madet suivra cette rencontre, à 15h00.
