Pages that link to "Item:Q549182"
From MaRDI portal
The following pages link to On the algebra of structured specifications (Q549182):
Displaying 21 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- On normal forms for structured specifications with generating constraints (Q1708195) (← links)
- Structured theories and institutions (Q1884906) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- (Q3031906) (← links)
- A Structure-Exploiting Tool in Algebraic Modeling Languages (Q3114643) (← links)
- (Q3490966) (← links)
- Structured Co-spans: An Algebra of Interaction Protocols (Q3612491) (← links)
- (Q3707383) (← links)
- (Q4255593) (← links)
- (Q4430324) (← links)
- (Q4499311) (← links)
- Algebraic specifications for domain theory (Q5096170) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)