Thumbnail

Tutorial on Formal Methods for Distributed and Cooperative Systems

Choppy, Christine; Haddad, Serge; Klaudel, Hanna; Kordon, Fabrice; Petrucci, Laure; Thierry-Mieg, Yann (2006), Tutorial on Formal Methods for Distributed and Cooperative Systems, in Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio, Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings, Springer : Berlin, p. 362-365. http://dx.doi.org/10.1007/11921240_25

View/Open
Type
Communication / Conférence
Date
2006
Conference title
Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006
Conference date
2006-11
Conference city
Tunis
Conference country
Tunisie
Book title
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Book author
Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio
Publisher
Springer
Series title
Lecture Notes in Computer Science
Series number
4281
Published in
Berlin
ISBN
978-3-540-48815-6
Number of pages
371
Pages
362-365
Publication identifier
Metadata
Show full item record
Author(s)
Choppy, Christine
Haddad, Serge
Klaudel, Hanna
Kordon, Fabrice cc
Petrucci, Laure cc
Thierry-Mieg, Yann cc
Abstract (EN)
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.
Subjects / Keywords
distributed systems