Extension Morphisms for CommUnity

DOI10.1007/11780274_10zbMATH Open1132.68342OpenAlexW1600183662MaRDI QIDQ5757929FDOQ5757929

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

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

Mathematics Subject Classification ID

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

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)