Derivation of fault tolerance properties of distributed algorithms

• Authors:

• Philippe Quéinnec;Gérard Padiou

• Affiliations:

• IRIT & CENA, Toulouse, France;IRIT - ENSEEIHT, Toulouse, France

• Venue:
• PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
• Year:
• 1994