Graph Transformation Units with Interleaving Semantics.

Hans-Jörg Kreowski Sabine Kuske

Published in: Formal Aspects Comput. (1999)

Keyphrases

graph transformation
formal semantics
conceptual model
model theoretic
logic programming
default reasoning
argumentation frameworks
update semantics
intended meaning