What we need is a way of measuring time such that for every event,a, we can assign it a time valueC(a) on which all processes agree. These time values must have the property that ifa->b, thenC(a)
What we need is a way of measuring time such that for every event,a, we can assign it a time valueC(a) on which all processes agree. These time values must have the property that ifa->b, thenC(a)