# Concurrency: The Works of Leslie Lamport

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]].