Pages that link to "Item:Q2432234"
From MaRDI portal
The following pages link to A singleton failures semantics for communicating sequential processes (Q2432234):
Displaying 17 items.
- Contexts, refinement and determinism (Q541213) (← 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)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Reducing complex CSP models to traces via priority (Q1744391) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Model transformations across views (Q2266947) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- (Q3680258) (← links)
- (Q3796726) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)