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.
KeywordsGlobal State Transitive Closure State Interval Inductive Proof Local Clock
Unable to display preview. Download preview PDF.