Canonical Derivations with Negative Application Conditions

DOI10.1007/978-3-319-09108-2_14zbMath1423.68226OpenAlexW178284250MaRDI 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 transformationincremental NACscanonical derivation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (1)

Unnamed Item

This page was built for publication: Canonical Derivations with Negative Application Conditions