Pages that link to "Item:Q4237907"
From MaRDI portal
The following pages link to Abstract and behaviour module specifications (Q4237907):
Displaying 8 items.
- On the correctness of modular systems (Q674009) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Institutions for logic programming (Q1391732) (← links)
- A hidden agenda (Q1575735) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)