swMATH23738MaRDI QIDQ35506FDOQ35506
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-21145-9_3
Cited In (25)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Parallel rewriting of attributed graphs
- The PBPO graph transformation approach
- Patch graph rewriting
- AGREE -- algebraic graph rewriting with controlled embedding
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Title not available (Why is that?)
- Parallelism in AGREE transformations
- Concurrency theorems for non-linear rewriting theories
- Algebraic graph rewriting with controlled embedding
- CatLib
- Theorem proving graph grammars with attributes and negative application conditions
- Sesqui-pushout rewriting with type refinements
- AGG
- Henshin
- MedOlDatschgerl
- eMoflon
- EMorF
- Verigraph
- SEQUEL
- egg
- DrAGoM
- Unification of drags and confluence of drag rewriting
- The Verigraph system for graph transformation
- Grez
This page was built for software: AGREE
