ESM systems and the composition of their computations
Dirk Janssens · 1994
ESM systems are graph rewriting systems where productions are morphisms in a suitable category, ESM. The way graphs are transformed in ESM systems is essentially the same as in actor grammars, which were introduced in [JR]. It is demonstrated that a rewriting step corresponds to a (single) pushout construction, as in the approach from