Time, Clocks, and the Ordering of Events in a Distributed System 1978 · Leslie Lamport Lamport's classic paper models event order with happened-before, then builds logical clocks, total ordering, mutual exclusion, and physical clock synchronization from it.