Structured Operational Semantics for Graph Rewriting (0)

by A Dorman, T Heindel
Venue:In ICE (2011