Hierarchical correctness proofs for distributed algorithms (1987)

by Nancy A. Lynch , Mark R. Tuttle
Citations:418 - 54 self