Hierarchical correctness proofs for distributed algorithms (1987)

Cached

Download Links

by Nancy A. Lynch , Mark R. Tuttle
Citations:434 - 65 self