Undecidable Control Conditions in Graph Transformation Units

DOI10.1016/J.ENTCS.2007.08.028zbMath1279.68186OpenAlexW2089249463MaRDI QIDQ2873611

Renate Klempien-Hinrichs, Karsten Hölscher, Peter Knirsch

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

decidabilitycomputabilitygraph transformationtransformation unitcontrol condition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs

Cites Work

• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Fundamental Approaches to Software Engineering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undecidable Control Conditions in Graph Transformation Units