Translating controlled graph grammars to ordinary graph grammars

DOI10.1016/j.entcs.2016.09.004zbMath1364.68240OpenAlexW2529488647WikidataQ113317669 ScholiaQ113317669MaRDI QIDQ529641

Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro

Publication date: 19 May 2017

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.004

zbMATH Keywords

graph grammarconflicting rulescontrolled graph grammardependent rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• Rodin

Cites Work

• Verification of graph grammars using a logical approach
• Formal Verification of Object-Oriented Graph Grammars Specifications
• Explicit State Model Checking for Graph Grammars
• The B-Book
• Handbook of Graph Grammars and Computing by Graph Transformation
• Defining Object-Oriented Execution Semantics Using Graph Transformations

This page was built for publication: Translating controlled graph grammars to ordinary graph grammars