Hierarchical Correctness Proofs for Distributed Algorithms (1987)

by N A Lynch, M R Tuttle
Venue:Proceedings of the 6th ACM Symposium on Principles of Distributed Computing