On the interleaving semantics of transformation units — A step into GRACE

DOI10.1007/3-540-61228-9_81zbMath1412.68109OpenAlexW1522538549MaRDI QIDQ4645269

Sabine Kuske, Hans-Joerg Kreowski

Publication date: 10 January 2019

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

Full work available at URL: https://doi.org/10.1007/3-540-61228-9_81

zbMATH Keywords

binary relationtransitive closuregraph transformationregular expressiontransformation unit

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (5)

Parameterized Transformation Units ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ 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). ⋮ Formal software specification with refinements and modules of typed graph transformation systems ⋮ A case study on the graph-transformational modeling and analysis of puzzles

Uses Software

• DIEGO
• DACTL
• AGG
• GraphEd

Cites Work

• DACTL
• Hyperedge replacement: grammars and languages
• Algebraic approach to single-pushout graph transformation
• On structured graph grammars. I
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• On the structure of node-label-controlled graph languages
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
• Computing with graph rewriting systems with priorities
• Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings
• Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. Under the auspices of the European Association for Theoretical Computer Science
• Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the interleaving semantics of transformation units — A step into GRACE