Time, Clocks, and the Ordering of Events in a Distributed System [pdf]research.microsoft.com·5 pts·rs·2