Leslie Lamport
Last modified on 29 November 2021
Session 2 Some Trivial Algorithms
Session 4 Nondeterminism and Sets
Session 6 Labels and the Translation
Session 10 A Distributed Algorithm
| Session 11 | The Alternating Bit Protocol |
| Part 1 - Safety | |
| Part 2 - Liveness |