Tutorial on Formal Methods for Distributed and Cooperative Systems
This tutorial is proposed by representatives of the MeFoSyLoMa group. MeFoSyLoMa is an informal group gathering several teams from various universities in the Paris area:
– Université Paris-Dauphine (LAMSADE laboratory),
– Université P. & M. Curie (LIP6 laboratory),
– Université Paris 13 (LIPN laboratory),
– ENST (LTCI laboratory),
– Conservatoire National des Arts et Métiers (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.
KeywordsFormal Method Abstraction Level Cooperative System Informal Group Architectural Style
Unable to display preview. Download preview PDF.