Enrique Santos, Rodrigo Barbieri, and Gustavo Vieira. 2023. Evolving Paxos for the Non-Malicious Arbitrary Model. In Proceedings of the 24th Workshop on Testing and Fault Tolerance, May 26, 2023, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 52-65. DOI: https://doi.org/10.5753/wtf.2023.720.