Tutorial on Formal Methods for Distributed and Cooperative Systems
Résumé
This tutorial is proposed by representatives of the MeFoSyLoMa1 group. MeFoSyLoMa is an informal group gathering several teams from various universities in the Paris area: Universit'e Paris-Dauphine (LAMSADE laboratory), Universit'e P. & M. Curie (LIP6 laboratory), Universit'e Paris 13 (LIPN laboratory), ENST (LTCI laboratory), Conservatoire National des Arts et M'etiers (CEDRIC laboratory). These teams have extensive knowledge and experience in the design, analysis and implementation of distributed systems. The cooperation within the group aims at joining forces, sharing experiences and building joint projects to solve issues in the design of reliable distributed systems.