Barbieri, Rodrigo, E 		Vieira, Gustavo.
" Hardened Paxos through Consistency Validation" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2015)