Dotted version vector

The basic idea of Dotted Version Vectors (dvv) is to take a version vector (vv) and add the possibility of representing an individual causal event — dot — separate from the rest of the contiguous events. The dot is kept separate from the causal past and it globally and uniquely identifies a write. This allows representing concurrent writes, on the same server, by having different dots.