Pages that link to "Item:Q4645269"
From MaRDI portal
The following pages link to On the interleaving semantics of transformation units — A step into GRACE (Q4645269):
Displaying 5 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- A case study on the graph-transformational modeling and analysis of puzzles (Q2117266) (← links)
- 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 Transformat (Q4923504) (← links)
- Parameterized Transformation Units (Q4923545) (← links)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)
