The following pages link to Relational concurrent refinement (Q706513):
Displaying 32 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Process simulation and refinement (Q911322) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- A refinement calculus for tuple spaces (Q1806133) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Validation of formal models by refinement animation (Q1951638) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Unifying concurrent and relational refinement (Q2844822) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- (Q3989947) (← links)
- Fault-Free Refinements for Interface Automata (Q4621227) (← links)
- Computer Science Logic (Q5292621) (← links)
- Computer Aided Verification (Q5312903) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703820) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
