Hierarchical correctness proofs for distributed algorithms (1987)

by Nancy A Lynch, Mark R Tuttle
Venue:In Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing