Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
From MaRDI portal
Publication:6156939
DOI10.1016/j.jlamp.2023.100873zbMath1512.68131arXiv2203.01032MaRDI QIDQ6156939
Jörg Endrullis, Aloïs Rosset, Roy Overbeek
Publication date: 19 June 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2203.01032
Related Items
Specification and modelling of computing systems through graphs and graph transformation, Computational category-theoretic rewriting
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Collagories: relation-algebraic reasoning for gluing constructions
- Algebraic approach to single-pushout graph transformation
- Transformational approach to the development of software architectures on the basis of fuzzy graph models
- Topoi. The categorial analysis of logic
- Restriction categories II: Partial map classification
- The PBPO graph transformation approach
- Algebraic graph rewriting with controlled embedding
- Concurrency theorems for non-linear rewriting theories
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Rewriting abstract structures: materialization explained categorically
- Categorical approach to the construction of fuzzy graph grammars
- Drags: a compositional algebraic framework for graph rewriting
- Transformations of fuzzy graphs specified by FD-grammars
- Fundamentals of algebraic graph transformation
- L-fuzzy sets
- 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
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- Hereditary Pushouts Reconsidered
- 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
- Pullback as a generic graph rewriting mechanism
- Restriction categories. I: Categories of partial maps