Time, Clocks, and the Ordering of Events in a Distributed System––Leslie Lamport [pdf]

lamport.azurewebsites.net