Sciweavers

89
Voted
FUIN
2006
132views more  FUIN 2006»
15 years 11 days ago
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Anneg...
74
Voted
ACS
2008
15 years 15 days ago
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components
The integration of two important categorical frameworks
Julia Padberg