Structured Operational Semantics for Graph Rewriting


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:

    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}

See ...
© University of Duisburg-Essen, Theoretical Computer Science group