Pages that link to "Item:Q1917085"
From MaRDI portal
The following pages link to Comparing syntactic and semantic action refinement (Q1917085):
Displayed 4 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Vertical implementation (Q1854462) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)