Lamport now believes that state machines (described not with commands and values but simply as a state and a next-state relation) are the 'Turing machine of concurrency'—the foundational abstraction for concurrent computing.
factualpending
Speaker
Leslie LamportEvidence Quote
“I realized in some sense you know maybe I've realized what the touring machine of of of computing is state machines.”
Source
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport— Ryan PetermanCreated: 8/12/2026, 6:17:50 PM
My Notes
Loading notes...