Hans Jürgen Schneider
-
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS
Fundamenta Informaticae