Time, clocks and the ordering of events in a distributed system

Lamport’s logical clocks explained—causality, event ordering, and physical clock synchronization in distributed systems, made easy.