Paxos implementation on Erlang