• Vijay K. Garg


The concept of time pervades our thinking. We use time in many ways. One important use of time is in providing the order of events. We say that event α occurred before event β if the physical time at which the event α happened, t α , is less than t β , the time at which β happened. The use of this ordering requires access to some clocking mechanism which can record t α and tβ. In the absence of precisely synchronized clocks in distributed systems, this is an impossible task. This leads us to consider ordering relationships which are useful and implementable in distributed systems.


Global State Transitive Closure State Interval Inductive Proof Local Clock 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Vijay K. Garg
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of Texas at AustinAustinUSA

Personalised recommendations