Pages that link to "Item:Q2844822"
From MaRDI portal
The following pages link to Unifying concurrent and relational refinement (Q2844822):
Displaying 14 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Relational concurrent refinement (Q706513) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- Process simulation and refinement (Q911322) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Model transformations across views (Q2266947) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- (Q5155670) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)