Pages that link to "Item:Q5929740"
From MaRDI portal
The following pages link to Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740):
Displaying 11 items.
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- Partial pullback complement rewriting (Q2355683) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- (Q4502807) (← links)
- GETGRATS (Q4923529) (← links)
- Hierarchical Graph Transformation Revisited (Q4972007) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)