PaxosSharp is a C# port / rewrite of Marco Primi's Paxos algorithm implementation