• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
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
mefo-tuto.pdf (68.39Kb)
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
http://dx.doi.org/10.1007/11921240_25
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

Related items

Showing items related by title and author.

  • Thumbnail
    Méthodes formelles pour les systèmes répartis et coopératifs 
    Haddad, Serge; Kordon, Fabrice; Petrucci, Laure (2006) Ouvrage
  • Thumbnail
    Collision avoidance in Intelligent Transport Systems: towards an application of control theory 
    Bérard, Béatrice; Haddad, Serge; Hillah, Lom Messan; Kordon, Fabrice; Thierry-Mieg, Yann (2008) Communication / Conférence
  • Thumbnail
    An algorithm providing fault-tolerance for layered distributed systems 
    Taghelit, Mohamed; Haddad, Serge; Sens, Pierre (1991) Communication / Conférence
  • Thumbnail
    A Formal Semantics and a Client Synthesis for a BPEL Service 
    Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2008) Communication / Conférence
  • Thumbnail
    A Model Checking Method for Partially Symmetric Systems 
    Haddad, Serge; Ilié, Jean-Michel; Ajami, Khalil (2000) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo