Pages that link to "Item:Q3522068"
From MaRDI portal
The following pages link to Modal Abstractions of Concurrent Behaviour (Q3522068):
Displayed 6 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- Static analysis of IMC (Q444504) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)