Rodrigo R. Barbieri, Gustavo M. D. Vieira. Hardened Paxos through Consistency Validation. In 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015, Foz do Iguacu, Brazil, November 3-6, 2015. pages 13-18, IEEE, 2015. [doi]
Abstract is missing.