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.
No references recorded for this publication.
No citations of this publication recorded.