An Operational Semantics of CommUnity Based on Graph Transformation Systems
Andrea Corradini, Dan Hirsch · Electronic Notes in Theoretical Computer Science · 2004
We propose an operational semantics, based on graph transformation, of CommUnity, a simple program design language. Each action of a single CommUnity design is modeled by a synchronized hyperedge replacement rule. Synchronized actions of several interconnected designs in a configuration result automatically from the individual rules thanks to the rule synchronization mechanism.