The following pages link to (Q4494250):
Displaying 7 items.
- Completeness of fair ASM refinement (Q541210) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
