Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

Julia Padberg. Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures, 16(3):333-364, 2008. [doi]

Abstract

Abstract is missing.