Wolfgang Reisig. Correctness Proofs of Distributed Algorithms. In Kenneth P. Birman, Friedemann Mattern, André Schiper, editors, Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers. Volume 938 of Lecture Notes in Computer Science, pages 164-177, Springer, 1994.
Abstract is missing.