Logical time in distributed software systems

In this paper, problems of logical time in asynchronous distributed systems are surveyed. Advantages of using logical time as a mechanism for establishing logical relationships between events are demonstrated. A formal definition is given for the system of logical time (the logical clock). Properties of scalar, vector, and matrix systems are discussed. Modifications of the vector clock are considered that reduce average communication expenses while preserving the isomorphism property.