Pages that link to "Item:Q911261"
From MaRDI portal
The following pages link to A refinement calculus for specifications in Hennessy-Milner logic with recursion (Q911261):
Displaying 4 items.
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- Local model checking in the modal mu-calculus (Q1177939) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
