Pages that link to "Item:Q1917085"
From MaRDI portal
The following pages link to Comparing syntactic and semantic action refinement (Q1917085):
Displaying 8 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Vertical implementation (Q1854462) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)