A general algebraic framework for studying modular systems

DOI10.1007/978-3-540-44616-3_16MaRDI QIDQ2722030zbMATH OpenFDO

Authors Fernando Orejas, Elvira Pino

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_16

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• An algebra of modular systems: static and dynamic perspectives
• scientific article; zbMATH DE number 3956412
• Abstract and behaviour module specifications
• Modular properties of algebraic type systems
• An algebraic framework for separate type-checking

Cited in

(8)

• Algorithmic aspects of a general modular decomposition theory
• An algebra of modular systems: static and dynamic perspectives
• On computing signatures of \(k\)-out-of-\(n\) system consisting of modules
• scientific article; zbMATH DE number 4164154 (Why is no real title available?)
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• Propagators and Solvers for the Algebra of Modular Systems
• An algebraic framework for separate type-checking
• A general framework for modular implementations of modular system specifications

This page was built for publication: A general algebraic framework for studying modular systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722030)