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

research.microsoft.com