scientific article; zbMATH DE number 1638642
From MaRDI portal
Publication:2736338
Recommendations
- Compositionality and compatibility of parameterization and parameter passing in specification languages
- Parameterisation for abstract structured specifications
- Functorial theory of parameterized specifications in a general specification framework
- scientific article; zbMATH DE number 1368951
- scientific article; zbMATH DE number 1368950
Cited in
(8)- Functorial theory of parameterized specifications in a general specification framework
- Structured theories and institutions
- scientific article; zbMATH DE number 1617302 (Why is no real title available?)
- scientific article; zbMATH DE number 4078762 (Why is no real title available?)
- Parameterisation for abstract structured specifications
- Compositionality results for different types of parameterization and parameter passing in specification languages
- Relations as abstract datatypes: An institution to specify relations between algebras
- An Institution for Imperative RSL Specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736338)
