Pascale Minet
4
Documents
Publications
- 4
- 1
- 1
- 1
- 1
- 1
- 1
|
On the Formal Specification of Group Membership Services[Research Report] RR-2695, INRIA. 1995
Rapport
inria-00073995v1
|
|
Etude de protocoles de diffusion atomique[Rapport de recherche] RR-1774, INRIA. 1992
Rapport
inria-00077014v1
|
|
ABP : an atomic broadcast protocol[Research Report] RR-1473, INRIA. 1991
Rapport
inria-00075089v1
|
|
Non-blocking atomic broadcast with omission failuresRR-1287, INRIA. 1990
Rapport
inria-00075272v1
|