Pages that link to "Item:Q1349249"
From MaRDI portal
The following pages link to Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249):
Displaying 5 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
