A map of per-node counters attached to data that shows whether one version happened before another or both are concurrent.