Pages that link to "Item:Q5458070"
From MaRDI portal
The following pages link to Observational interpretation of Casl specifications (Q5458070):
Displaying 5 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
