Searching for "Correctness Proofs of Distributed Algorithms." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Mechanical Verification of Distributed Algorithms in Higher-Order Logic
- … and causality to guide and structure correctness proofs of distributed algorithms. The example used…
- Cited by 12 (1 self) – Add To MetaCart
-
Bibliography
- …, 1994. [24] N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Sixth…
- Add To MetaCart
-
A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended
- … computer sys- tems gives increasing importance to correctness proofs of distributed algorithms. Techniques…
- Cited by 11 (3 self) – Add To MetaCart
-
The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
- …[26] Nancy A. Lynch and Mark R. Tuttle. Hierarchical correctness proofs for distributed algorithms…
- Add To MetaCart
-
Hierarchical Garbage Collection in Scalable Distributed Systems
- … of the Hierarchical Distributed Garbage Collection Scheme : : : : : 143 10.1 Correctness Proofs of Distributed…
- Cited by 5 (4 self) – Add To MetaCart
-
An 'All Pairs Shortest Paths' Distributed Algorithm Using 2n² Messages
- … should be routed in the graph. The correctness proof of the distributed algorithm is very much similar…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 6.
