The following pages link to (Q4318992):
Displayed 5 items.
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)