Extension Morphisms for CommUnity

DOI10.1007/11780274_10MaRDI QIDQ5757929zbMATH OpenOpenAlexFDO

Authors Nazareno Aguirre, Tim Maibaum, Paulo S. C. Alencar

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_10

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• Design in CommUnity with Extension Morphisms
• Superposition: composition vs refinement of non-deterministic, action-based systems
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• Superimpositions and Aspect-oriented Programming
• Superposition refinement of reactive systems

Cited in

(1)

• Design in CommUnity with Extension Morphisms

This page was built for publication: Extension Morphisms for CommUnity

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