Time in a Distributed System