Abstract | ||
---|---|---|
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. S 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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11921240_25 | ICTAC |
Keywords | Field | DocType |
formal method,cooperative system,lip6 laboratory,mefosyloma group,conservatoire national des arts,paris area,ltci laboratory,cedric laboratory,informal group,lamsade laboratory,lipn laboratory,m. curie,distributed system | Joint (building),Computer science,Engineering management,Theoretical computer science,Artificial intelligence,Formal methods,The arts,Abstraction layer,Architectural style | Conference |
Volume | ISSN | ISBN |
4281 | 0302-9743 | 3-540-48815-4 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christine Choppy | 1 | 331 | 36.70 |
Serge Haddad | 2 | 199 | 12.90 |
Hanna Klaudel | 3 | 300 | 36.69 |
Fabrice Kordon | 4 | 603 | 61.72 |
Laure Petrucci | 5 | 521 | 51.44 |
Yann Thierry-Mieg | 6 | 225 | 18.17 |