Pages that link to "Item:Q1272761"
From MaRDI portal
The following pages link to Specifying and refining internal operations in \(Z\) (Q1272761):
Displaying 4 items.
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
