Yet Another Visit to Paxos
Practical byzantine fault tolerance and proactive recovery