Papers
Up one level- A New Approach to Proving the Correctness of Multiprocess Programs
- A Distributed Algorithm for Minimum-Weight Spanning Trees
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
- Reaching Agreement in the Presence of Faults
- Model Checking TLA+ Specifications
- Reliable Communication over Unreliable Channels
- Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study
- Optimal Time Self Stabilization in Dynamic Systems
- Computation in networks of passively mobile finite-state sensors
- Renaming in an asynchronous environment
- What Good are Models and What Models are Good?