Recovery Algorithms for Paxos-Based State Machine Replication | IEEE Journals & Magazine | IEEE Xplore