In a similar fashion to Exercise 14.10, show that e e Ve Ve .

What will be an ideal response?

If e and e are successive events occurring at the same process, or if there is a message m such that e = send(m) and e = rcv(m), then the result follows from VC2–VC4. In the latter case the sender includes its timestamp value and the recipient increases its own vector clock entry; all of its other entries remain at least as great as those in the sender’s timestamp.



Assume that the result to be proved is true for all pairs of events connected in a sequence of events (in which either HB1 or HB2 applies between each neighbouring pair) of length N or less (N Š 2).