AGREE – Algebraic Graph Rewriting with Controlled Embedding
From MaRDI portal
Publication:2947209
DOI10.1007/978-3-319-21145-9_3zbMath1321.68327arXiv1411.4597OpenAlexW1587421378MaRDI QIDQ2947209
Dominique Duval, Leila Ribeiro, Andrea Corradini, Rachid Echahed, Frédéric Prost
Publication date: 22 September 2015
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.4597
Related Items (18)
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 ⋮ Fundamentals of compositional rewriting theory ⋮ Computational category-theoretic rewriting ⋮ Unification of drags and confluence of drag rewriting ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ The PBPO graph transformation approach ⋮ Parallel coherent graph transformations ⋮ 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{+}
Uses Software
Cites Work
- Algebraic approach to single-pushout graph transformation
- Adaptive star grammars and their languages
- Restriction categories II: Partial map classification
- Graph Transformation with Focus on Incident Edges
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Inductively Sequential Term-Graph Rewrite Systems
- Sesqui-Pushout Rewriting
- A Heterogeneous Pushout Approach to Term-Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Rewriting in Span-Categories
- Pullback as a generic graph rewriting mechanism
- Restriction categories. I: Categories of partial maps
This page was built for publication: AGREE – Algebraic Graph Rewriting with Controlled Embedding
