The PBPO graph transformation approach
From MaRDI portal
Publication:1734525
DOI10.1016/j.jlamp.2018.12.003zbMath1417.68075OpenAlexW2906693381WikidataQ128673635 ScholiaQ128673635MaRDI QIDQ1734525
Frédéric Prost, Leila Ribeiro, Dominique Duval, Andrea Corradini, Rachid Echahed
Publication date: 27 March 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.12.003
Related Items
Patch Graph Rewriting, Fundamentals of compositional rewriting theory, A strict constrained superposition calculus for graphs, Preface to the special issue on the 10th international conference on graph transformation, Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes, Unnamed Item, Algebraic graph rewriting with controlled embedding, Graph rewriting and relabeling with PBPO\textsuperscript{+}
Uses Software
Cites Work
- A categorical framework for the transformation of object-oriented systems: models and data
- Algebraic approach to single-pushout graph transformation
- Adaptive star grammars and their languages
- Restriction categories II: Partial map classification
- Characterisation of parallel independence in AGREE-rewriting
- Refined Graph Rewriting in Span-Categories
- Graph Transformation with Focus on Incident Edges
- A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Sesqui-Pushout Rewriting
- Handbook of Graph Grammars and Computing by Graph Transformation
- The Pullback-Pushout Approach to Algebraic Graph Transformation
- Graph Transformations
- Adhesive and quasiadhesive categories
- Pullback as a generic graph rewriting mechanism
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
- Node rewriting in graphs and hypergraphs: A categorical framework
- Unnamed Item
- Unnamed Item
- Unnamed Item
