Paxos Lease in C#/DotNet