AGREE – Algebraic Graph Rewriting with Controlled Embedding

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

• AGREE

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