A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).

Adrian Francalanza, Matthew Hennessy

Browse the full ESOP paper archive.