Barbieri, Rodrigo, Enrique    dos Santos, and Gustavo    Maciel Dias Vieira.
" Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos." <em>Anais do XX Workshop de Testes e Tolerância a Falhas,
Gramado, 2019</em>. SBC, 2019,  
pp.34-47.