Logical Clocks

Lamport showed how a happened-before relation and logical timestamps can order events in distributed systems without a single global clock.