Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).

DOI10.1016/S1571-0661(04)00294-4zbMath1268.68096MaRDI QIDQ2841248

Mark Minas, Berthold Hoffmann

Publication date: 24 July 2013

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

zbMATH Keywords

transformationdiagram languagenested graphstructural graph typing

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Uses Software

• DiaGen

Cites Work

• Concepts and realization of a diagram editor generator based on hypergraph transformation
• Structured gamma
• Transfinite reductions in orthogonal term rewriting systems
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).