Canonical Derivations with Negative Application Conditions

DOI10.1007/978-3-319-09108-2_14zbMath1423.68226MaRDI QIDQ3192238

Reiko Heckel, Andrea Corradini

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_14

zbMATH Keywords

graph transformation; incremental NACs; canonical derivation

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q42: Grammars and rewriting systems