Structured Operational Semantics for Graph Rewriting.

Andrei Dorman Tobias Heindel Barbara König

Published in: Sci. Ann. Comput. Sci. (2012)

Keyphrases

operational semantics
structured data
rewriting systems
formal semantics
data model
mental states
rewriting rules
denotational semantics
model theoretic
databases
multi agent systems
activity diagrams
conjunctive queries