Structured Operational Semantics for Graph Rewriting
-
Published:2012-05
Issue:1
Volume:22
Page:105-145
-
ISSN:1843-8121
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Author:
Dorman Andrei,Heindel Tobias,Konig Barbara
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science