Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems

Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371-403, 1999. [doi]

Abstract

Abstract is missing.