Pages that link to "Item:Q5756509"
From MaRDI portal
The following pages link to A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract) (Q5756509):
Displaying 7 items.
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- Formal Model–Driven Design of Distributed Algorithms (Q5170275) (← links)
- Much Ado About Nothing? (Q5262962) (← links)
- Store locally, prove globally (Q6605367) (← links)