ABSTRACT SEMANTICS FOR ESM SYSTEMS
Dirk Janssens, Tom Mens · Fundamenta Informaticae · 1996
ESM systems are a graph-rewriting formalism for concurrent systems: a global system state is represented by a graph and a run of the system is described by a graph rewriting process. These rewriting processes are formally described by computation str