Translating controlled graph grammars to ordinary graph grammars
type: Item
instance of: scholarly article
title: Translating controlled graph grammars to ordinary graph grammars
zbMATH Open document ID: 1364.68240
author: Alex Bertei
author: Luciana Foss
author: Simone André da Costa Cavalheiro
publication date: 2017-05-19T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6721836
zbMATH Keywords: graph grammar
zbMATH Keywords: controlled graph grammar
zbMATH Keywords: dependent rules
zbMATH Keywords: conflicting rules
describes a project that uses: Rodin
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.09.004
OpenAlex ID: W2529488647
Wikidata QID: Q113317669
cites work: The B-Book
cites work: Explicit State Model Checking for Graph Grammars
cites work: Formal verification of object-oriented graph grammars specifications
cites work: Defining Object-Oriented Execution Semantics Using Graph Transformations
cites work: Verification of graph grammars using a logical approach
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
DOI: 10.1016/J.ENTCS.2016.09.004
Recommended article: Transformations of graph grammars
Recommended article: Graph grammars with path-controlled embedding
Recommended article: Q4954439
Recommended article: An economical transformation of graph grammars
Recommended article: Q4365821
Recommended article: Q3785996
Recommended article: Lectures on Concurrency and Petri Nets
Recommended article: Edge-label controlled graph grammars
Recommended article: Q3315043
Recommended article: Specification of graph translators with triple graph grammars
description: scientific article; zbMATH DE number 6721836