Leslie Lamport personal blog
The Paxos Algorithm, or How to Win a Turing Award
The lectures assume no prior knowledge of the Paxos consensus algorithm or of TLA+, the language in which the specifications are written. In fact, the lectures constitute a crash course on TLA+. If you're interested just in the algorithm, you will probably find the specs annoying and will try to read only the…
- Points
- 328
- HN comments
- 83
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSystems & Performance2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 30, 2019 | The Paxos Algorithm, or How to Win a Turing Award by pron | 328 | 83 |
