Pages that link to "Item:Q2844831"
From MaRDI portal
The following pages link to A comparison of refinement orderings and their associated simulation rules (Q2844831):
Displaying 4 items.
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Structural refinement of systems specified in Object-Z and CSP (Q706503) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)