DMCA

Hierarchical correctness proofs for distributed algorithms (1987)

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