[crocal]

This is the precise point of the famous article by Leslie Lamport on time, clocks and the ordering of events in a distributed system. I was surprised that it was not mentioned in this article, as it formalizes the link between this fact and the relativity of time.