Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Simulating algebraic high-level nets by parallel attributed graph transformation
Formal Methods in Software and Systems Modeling
Some examples of semi-rational DAG languages
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Hi-index | 0.00 |