The SRI team developed a simpler abstraction for the Byzantine problem: rather than getting agreement on a sequence of commands, they created an algorithm for agreement on a single command and executed it repeatedly—this was a nicer abstraction than Lamport's sequence-based approach.
factualpending
Speaker
Leslie LamportEvidence Quote
“Instead of getting agreement on a sequence among the processes on a sequence of commands, uh they would agree have an algorithm for agreement on a single command”
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...