scientific article; zbMATH DE number 3972172
From MaRDI portal
Publication:3738549
Recommendations
Cited in
(19)- Algebraic specification of modules and their basic interconnections
- Union and actualization of module specifications: Some compatibility results
- Foundations of rule-based design of modular systems
- Compatibility problems in the development of algebraic module specifications
- scientific article; zbMATH DE number 3862416 (Why is no real title available?)
- Module algebra
- scientific article; zbMATH DE number 4164154 (Why is no real title available?)
- scientific article; zbMATH DE number 3898210 (Why is no real title available?)
- scientific article; zbMATH DE number 3956412 (Why is no real title available?)
- scientific article; zbMATH DE number 3980454 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 177440 (Why is no real title available?)
- scientific article; zbMATH DE number 1231664 (Why is no real title available?)
- Abstract and behaviour module specifications
- scientific article; zbMATH DE number 4117818 (Why is no real title available?)
- scientific article; zbMATH DE number 1418359 (Why is no real title available?)
- Abstract constraint data types
- Parametrization for order-sorted algebraic specification
- Combining data type and recursive process specifications using projection algebras
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 Q3738549)
