Forschungsleitung (Direction de recherche) : Thérèse HARDIN

Preuve de systèmes distribués

Verteidigung einer Doktorarbeit : 09.09.1999

Publikationen 1998-1999

• 1999
  • B. Mammass : “Preuve de systèmes distribués”, these, verteidigung einer doktorarbeit 09.09.1999, forschungsleitung (direction de recherche) Hardin, Thérèse (1999)
• 1998
  • Th. Hardin, B. Mammass : “Proving the Bounded Retransmission Protocol in the Pi-calculus”, INFINITY'98 - 3^rd International Workshop on Verification of Infinite State Systems, Aalborg, Denmark, pp. 68-80 (1998)
  • B. Mammass : “La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents”, (1998)
  • B. Mammass : “Une preuve formelle du bounded retransmission protocol dans le pi-calcul”, (1998)
  • Th. Hardin, B. Mammass : “Yet Yet on the bounded retransmission protocol”, (1998)