Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Abstracting Communication to Reason about Distributed Algorithms. In Özalp Babaoglu, Keith Marzullo, editors, Distributed Algorithms, 10th International Workshop, WDAG 96, Bologna, Italy, October 9-11, 1996, Proceedings. Volume 1151 of Lecture Notes in Computer Science, pages 89-104, Springer, 1996.
Abstract is missing.