Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Applied Categorical Structures, 9(1):83-110, 2001. [doi]

Abstract

Abstract is missing.