AGREE
From MaRDI portal
Software:35506
No author found.
Related Items (14)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Sesqui-Pushout Rewriting with Type Refinements ⋮ Parallelism in AGREE Transformations ⋮ AGREE – Algebraic Graph Rewriting with Controlled Embedding ⋮ Patch Graph Rewriting ⋮ Unification of drags and confluence of drag rewriting ⋮ The Verigraph system for graph transformation ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ The PBPO graph transformation approach ⋮ Algebraic graph rewriting with controlled embedding ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Concurrency theorems for non-linear rewriting theories ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}
This page was built for software: AGREE
