GRAPH PROCESSES
Andrea Corradini, Ugo Montanari, Francesca Rossi · Fundamenta Informaticae · 1996
We first give a new definition of graph grammars, which, although following the algebraic double-pushout approach, is more general than the classical one because of the use of a graph of types where all involved graphs are mapped to. Then, we develop