Hierarchical correctness proofs for distributed algorithms (1987)

Cached

Download Links

by Nancy A. Lynch , Mark R. Tuttle
Citations:439 - 66 self