This is adaptation from Erlang to C#
Original code: https://github.com/ricardobcl/Dotted-Version-Vectors
clock() :: {entries(), values()}.
vector() :: [{counter(), values()}].
entries() :: [{id()}, {counter(), [values()]}].
id() :: string().
values() :: [value()].
value() :: string().
counter() :: non_neg_integer().
{id,{counter,{values}}
Each operation with clock causes a counter increment. Id is a unique value, entries in the clock cannot have the same id value.
Metod Create advances the causal history with the given id.
Example: we take a empty clock with a value "v1" and create a new clock with id "a":
Create(new Clock("v1"), "a") -> [{a,1,["v1"]}],[]
Return a entries without any values.
Example: Join([{a,1,["v1"]}],[] -> [{a,1,[]}]
Advances the causal history of the first clock with the given id, while synchronizing with the second clock, thus the new clock is causally newer than both clocks in the argument. The new value is the anonymous dot of the clock.
Examples:
Update([{a,1,[]}],["v2"](first clock),[{a,1,["v1"]}],[](second clock),"a"(id)) -> [{a,2,[v2]}],[]
Update([{a,1,[]}],["v4"](first clock),[{a,2,[]}],["v2"](second clock),"b"(id)) -> [{a,2,[v2]}],[{b,1,[v4]}],[]
Update([{a,1,[]}],["v5"](first clock),[{a,2,[]}],[v2](second clock),"a"(id)) -> [{a,3,[v5][v2]}],[]