Hierarchical correctness proofs for distributed algorithms (1987)

Cached

Download Links

by Nancy A. Lynch , Mark R. Tuttle
Citations:365 - 58 self