Pages that link to "Item:Q1019018"
From MaRDI portal
The following pages link to Relational concurrent refinement. II: Internal operations and outputs (Q1019018):
Displaying 10 items.
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Relational concurrent refinement (Q706513) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Specifying and refining internal operations in \(Z\) (Q1272761) (← links)
- Unifying concurrent and relational refinement (Q2844822) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)