Graph rewriting and relabeling with PBPO\textsuperscript{+}
From MaRDI portal
Publication:2117259
DOI10.1007/978-3-030-78946-6_4zbMath1492.68072arXiv2010.08230OpenAlexW3173934614MaRDI QIDQ2117259
Roy Overbeek, Aloïs Rosset, Jörg Endrullis
Publication date: 21 March 2022
Full work available at URL: https://arxiv.org/abs/2010.08230
Related Items
Fundamentals of compositional rewriting theory, Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes, Unnamed Item
Uses Software
Cites Work
- Collagories: relation-algebraic reasoning for gluing constructions
- Algebraic approach to single-pushout graph transformation
- The PBPO graph transformation approach
- Rewriting abstract structures: materialization explained categorically
- Drags: a compositional algebraic framework for graph rewriting
- Fundamentals of algebraic graph transformation
- Double-pushout graph transformation revisited
- On the axioms for adhesive and quasiadhesive categories
- $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Sesqui-Pushout Rewriting
- Amalgamating Pushout and Pullback Graph Transformation in Collagories
- Patch Graph Rewriting
- Foundations of Software Science and Computation Structures
- Category Theory
- Formal Methods in Software and Systems Modeling
- Formal Methods in Software and Systems Modeling
- Unnamed Item
- Unnamed Item
- Unnamed Item