EnglishРусский Map

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
url
https://dl.acm.org/doi/book/10.1145/3335772
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