A vector clock implementation in C#