Abstracting Communication to Reason about Distributed Algorithms

• Authors:

• Michel Charpentier;Mamoun Filali;Philippe Mauran;Gérard Padiou;Philippe Quéinnec

• Affiliations:

• -;-;-;-;-

• Venue:
• WDAG '96 Proceedings of the 10th International Workshop on Distributed Algorithms
• Year:
• 1996