Tutorial on Formal Methods for Distributed and Cooperative Systems

Abstract : 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.
Complete list of metadatas

Contributor : Frédéric Davesne <>
Submitted on : Thursday, November 20, 2008 - 11:58:52 PM
Last modification on : Tuesday, May 14, 2019 - 11:06:19 AM

Links full text



Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, et al.. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩. ⟨hal-00340483⟩



Record views