Bernadette Charron-Bost, Stephan Merz. Formal Verification of a Consensus Algorithm in the Heard-Of Model.
International Journal of Software and Informatics (IJSI), ISCAS, 2009, Formal Methods of Program Development, 3 (2-3), pp.273-303.
⟨inria-00426388⟩