TY - RPRT TI - Structured Operational Semantics for Graph Rewriting AU - Andrei Dorman AU - Tobias Heindel PY - 2011 DO - 10.4204/eptcs.59.4 UR - https://arxiv.org/abs/1108.0465 ID - 1108.0465 ER -