Pages that link to "Item:Q3184727"
From MaRDI portal
The following pages link to Graph Transformation with Dependencies for the Specification of Interactive Systems (Q3184727):
Displaying 7 items.
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (Q3541977) (← 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)
- (Q5021219) (← links)
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (Q5111200) (← links)
- Resilience of well-structured graph transformation systems (Q6649537) (← links)