Time and Global States in Distributed Systems . In Proceedings of the International Workshop on Parallel and Distributed Algorithms.
Logical clocks are sequence counters maintained by each site, used to order messages.
Time and Global States in Distributed Systems . In Proceedings of the International Workshop on Parallel and Distributed Algorithms. The metrication provides a systematic way of assigning timestamps to the events so that the events may be relatively ordered. The topology is the structural framework that the ordered events can have. The happened before relation 2 is used to construct most types of logical clocks.