§ Algebraic structure for vector clocks
I update my time, ie, union(time me, time me), I get an element that's one up the lattice.
When I union with someone else, I get the max. So we have an algebraic structure
which is where
next is monotone for
The induced union operator is:
This also shows up in the case of the "Gallager-Humblet-Spira Algorithm" and
- Is the total ordering on vector clocks not isomorphic to the total ordering on ?