MAMMASS Brahim
Direction de recherche : Thérèse HARDIN
Preuve de systèmes distribués
Soutenance : 09/09/1999
Date de départ : 31/12/1999Publications 1998-1999
-
1999
- B. Mammass : “Preuve de systèmes distribués”, thèse, soutenance 09/09/1999, direction de recherche Hardin, Thérèse (1999)
-
1998
- Th. Hardin, B. Mammass : “Proving the Bounded Retransmission Protocol in the Pi-calculus”, INFINITY'98 - 3rd 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)