Hierarchical Correctness Proofs for Distributed Algorithms (1987)

by N Lynch, M Tutle
Venue:In Proc. A.C.M. Symp. Principles of Distributed Computing