Pages that link to "Item:Q1058286"
From MaRDI portal
The following pages link to Non-deterministic data types: Models and implementations (Q1058286):
Displaying 8 items.
- Prespecification in data refinement (Q578901) (← links)
- Splitting atoms safely (Q879357) (← links)
- Algebraic specification of documents (Q1129133) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)
