Hierarchical Correctness Proofs for Distributed Algorithms

Nancy A. Lynch, Mark R. Tuttle. Hierarchical Correctness Proofs for Distributed Algorithms. In PODC. pages 137-151, 1987.

Abstract

Abstract is missing.