Hardened Paxos through Consistency Validation. - Rodrigo R. Barbieri; Gustavo M. D. Vieira (SBESC, 2015)

Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos. - Rodrigo R. Barbieri; Enrique S. dos Santos; Gustavo M. D. Vieira (CoRR, 2020)