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