A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended Abstract) (1988)

by Jennifer Lundelius Welch , Nancy Lynch
Venue:Laboratory for Computer Science, Massachusetts Institute of Technology
Citations:12 - 3 self

Active Bibliography

37 Verifying Temporal Properties without Temporal Logic – Bowen Alpern, Fred B. Schneider - 1989
446 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
Chapter on Distributed Computing – Leslie Lamport, Nancy Lynch - 1989
22 Simulation Techniques For Proving Properties Of Real-Time Systems – Nancy Lynch - 1993
540 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
6 Verification of a distributed summation algorithm – Frits W. Vaandrager - 1995
5 Verifiable Code Generation from Abstract I/O Automata Models for Distributed Computing – Joshua A. Tauber - 2001
Distributed Approximation Algorithms for . . . – Md Abdul Maleq Khan - 2007
21 Local MST Computation with Short Advice – Pierre Fraigniaud, Amos Korman, Emmanuelle Lebhar - 2007
24 A fast distributed approximation algorithm for minimum spanning trees – Maleq Khan, Gopal Pandurangan - 2006
2 Learning automata-based algorithms for solving stochastic minimum spanning tree problem – Javad Akbari Torkestani, Mohammad Reza Meybodi - 2011
15 Proving Entailment Between Conceptual State Specifications (Extended Abstract) – E.W. Stark, Eugene W. Stark - 1988
54 A Proof Technique for Rely/Guarantee Properties – Eugene W. Stark - 1986
17 An Automata-Theoretic Approach to Modular Model Checking – Orna Kupferman, Moshe Y. Vardi - 1998
25 Sparser: A paradigm for running distributed algorithms – Yehuda Afek, Moty Ricklin - 1990
54 Network Synchronization With Polylogarithmic Overhead – Baruch Awerbuch, David Peleg - 1990
25 Dynamic Networks are as fast as static networks – Baruch Awerbuch, Michael Sipser - 1988
43 Fast Distributed Construction of Small k-Dominating Sets and Applications – Shay Kutten, David Peleg - 2000
70 A sub-linear time distributed algorithm for minimum-weight spanning trees – Juan A. Garay - 1998