The Notion of Time in Distributed Systems
Mats Daniels, Tharam Dillon · Australian Software Engineering Conference · 1990
We look into some time properties that are important to distributed systems and propose a model of time that allows specification of these properties. We also give an example of how a specification can look like when the time model is used and how this effects the analysis of the specification.