The following pages link to (Q4318992):
Displaying 6 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)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Q6162105) (← links)
