Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system

DOI10.1007/3-540-57787-4_24zbMath1494.68125OpenAlexW1577773109MaRDI QIDQ5096295

Martin Beyer, Gabriele Taentzer

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57787-4_24

zbMATH Keywords

parallel graph transformationalgebraic graph grammarsgraph grammar system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Parallel high-level replacement systems ⋮ On the interleaving semantics of transformation units — A step into GRACE

Uses Software

• AGG
• GraphEd

Cites Work

• Algebraic approach to single-pushout graph transformation
• On a relationship between graph L-systems and picture languages
• The design of an extendible graph editor
• Amalgamation of graph transformations: a synchronization mechanism
• On sequential and parallel node-rewriting graph grammars
• Parallelism and concurrency in high-level replacement systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system