Structured Operational Semantics for Graph Rewriting
Reference
Andrei Dorman, Tobias Heindel, and Barbara König. Structured operational semantics for graph rewriting. Scientific Annals of Computer Science, XXII(1):105–145, 2012.
Suggested BibTeX entry:
@article{BHK12a,
author = {Andrei Dorman and Tobias Heindel and Barbara K\"onig},
journal = {Scientific Annals of Computer Science},
number = {1},
pages = {105--145},
title = {Structured Operational Semantics for Graph Rewriting},
volume = {{XXII}},
year = {2012}
}
