The following pages link to (Q5284549):
Displaying 8 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Transformation of typed composite graphs with inheritance and containment structures (Q2898466) (← links)
- (Q4438777) (← links)
- (Q5021224) (← links)
- Graph Transformations (Q5292593) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)