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
438 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
Chapter on Distributed Computing – Leslie Lamport, Nancy Lynch - 1989
21 Simulation Techniques For Proving Properties Of Real-Time Systems – Nancy Lynch - 1993
535 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
2 Learning automata-based algorithms for solving stochastic minimum spanning tree problem – Javad Akbari Torkestani, Mohammad Reza Meybodi - 2011
16 Local MST Computation with Short Advice – Pierre Fraigniaud, Amos Korman, Emmanuelle Lebhar - 2007
23 A fast distributed approximation algorithm for minimum spanning trees – Maleq Khan, Gopal Pandurangan - 2006
15 Proving Entailment Between Conceptual State Specifications (Extended Abstract) – E.W. Stark, Eugene W. Stark - 1988
53 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
24 Dynamic Networks are as fast as static networks – Baruch Awerbuch, Michael Sipser - 1988
36 A Faster Distributed Protocol for Constructing a Minimum Spanning Tree – Michael Elkin - 2004
43 Fast Distributed Construction of Small k-Dominating Sets and Applications – Shay Kutten, David Peleg - 2000