2013 · Computer systems
Distributed systems need rules for ordering events and agreeing on state.
Visual guide
Track causal relationships.
Maintain state on several machines.
Coordinate a consistent sequence of actions.
These ideas help systems coordinate across delays, failures and independent machines.
Logical ordering is not physical time, and agreement guarantees depend on the assumed communication and failure model.
01 · The idea
Leslie Lamport developed foundations of distributed and concurrent computing. Logical clocks capture a useful ordering of events even when machines do not share a perfectly synchronised clock. His wider contributions include replicated state machines, consistency, safety and liveness: concepts for specifying what a distributed system must and must not do.
These ideas help systems coordinate across delays, failures and independent machines.
02 · The people
Leslie Lamport developed foundations for reasoning about distributed systems, where different machines act without a single shared clock or perfectly reliable communication. His work includes logical clocks, consensus, fault tolerance, and formal specification. At Microsoft Research he continued developing tools for describing and checking systems before implementation. His ideas explain how coordinated behavior can be achieved despite delays and failures, and where fundamental limits remain.
Read the biography ↗03 · Read further
Original explanations based on the official award record. The subject label is an editorial navigation aid.
Computer architecture became a quantitative study of useful work and trade-offs.
The story
The Alto demonstrated the possibilities of a personal, graphical, networked machine.
The story