Concurrency: The Works of Leslie Lamport
Books
bookDahlia Malkhi (editor)distributed-systemsconcurrencyhistorywant-to-read
↳ show in map
Markdown
- title
- Concurrency: The Works of Leslie Lamport
- type
- book
- summary
- Annotated reader of Lamport's papers — clocks, Byzantine Generals, Paxos, TLA+ — with commentary
- author
- Dahlia Malkhi (editor)
- year
- 2019
- tags
- distributed-systems, concurrency, history
- status
- want-to-read
- sources
- eatonphil-bookclub
- created
- 2026-05-12
- updated
- 2026-05-12
ACM Books volume edited by Dahlia Malkhi (2019): Lamport's most consequential papers with commentary chapters by contemporaries — clocks and the ordering of events, the Byzantine Generals problem, Paxos, TLA+, the Bakery algorithm. Closer to an annotated reader than a textbook; useful if you've already absorbed the surface-level summaries and want the originals. On the eatonphil-bookclub speculative future list.
Related: distributed-consensus, byzantine-fault, flp-impossibility.
Linked from