On the interleaving semantics of transformation units -- a step into GRACE
From MaRDI portal
Recommendations
Cites work
- Algebraic approach to single-pushout graph transformation
- Amalgamated graph transformations and their use for specifying AGG -- an algebraic graph grammar system
- Computing with graph rewriting systems with priorities
- DACTL
- Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
- Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings
- Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
- 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
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
- scientific article; zbMATH DE number 3858396 (Why is no real title available?)
- scientific article; zbMATH DE number 3819112 (Why is no real title available?)
- scientific article; zbMATH DE number 3988733 (Why is no real title available?)
- scientific article; zbMATH DE number 177422 (Why is no real title available?)
- scientific article; zbMATH DE number 177458 (Why is no real title available?)
- scientific article; zbMATH DE number 193524 (Why is no real title available?)
- scientific article; zbMATH DE number 3630234 (Why is no real title available?)
- scientific article; zbMATH DE number 1231507 (Why is no real title available?)
- scientific article; zbMATH DE number 522836 (Why is no real title available?)
- scientific article; zbMATH DE number 1142315 (Why is no real title available?)
- scientific article; zbMATH DE number 219232 (Why is no real title available?)
- scientific article; zbMATH DE number 919847 (Why is no real title available?)
- Hyperedge replacement: grammars and languages
- On structured graph grammars. I
- On the structure of node-label-controlled graph languages
Cited in
(14)- Graph transformation units with interleaving semantics
- Formal software specification with refinements and modules of typed graph transformation systems
- A case study on the graph-transformational modeling and analysis of puzzles
- scientific article; zbMATH DE number 1629837 (Why is no real title available?)
- scientific article; zbMATH DE number 1629840 (Why is no real title available?)
- Graph Transformation Units – An Overview
- Programmed graph transformations and graph transformation units in GRACE
- 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).
- Structured modeling with GRACE
- Parameterized transformation units
- An abstract module concept for graph transformation systems
- Graph transformation units guided by a SAT solver
- Graph Transformations
- Formal Methods in Software and Systems Modeling
This page was built for publication: On the interleaving semantics of transformation units -- a step into GRACE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645269)
