A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Programming at the edge of synchrony OOPSLA 2020
- LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols PLDI 2025
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- Quorum Tree Abstractions of Consensus Protocols ESOP 2023
- Fault-tolerant functional reactive programming (extended version) JFP 2020
- Communication-Closed Asynchronous Protocols CAV 2019
- LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs PLDI 2024
- Randomized Testing of Byzantine Fault Tolerant Algorithms OOPSLA 2023