Pages that link to "Item:Q3541957"
From MaRDI portal
The following pages link to Composition and Decomposition of DPO Transformations with Borrowed Context (Q3541957):
Displaying 7 items.
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- DPO Transformation with Open Maps (Q2918982) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
- Graph Rewriting Components (Q6487304) (← links)