Hierarchical correctness proofs for distributed algorithms. (1987)

by N Lynch, M Tuttle
Venue:In Proceedings of the sixth annual ACM Symposium on Principles of distributed computing,