Pages that link to "Item:Q1391796"
From MaRDI portal
The following pages link to Formal verification of a leader election protocol in process algebra (Q1391796):
Displaying 6 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP (Q3303889) (← links)
