Single Pushout Rewriting in Comprehensive Systems
From MaRDI portal
Publication:5100728
DOI10.1007/978-3-030-51372-6_6zbMath1502.68153OpenAlexW3037914476MaRDI QIDQ5100728
Publication date: 1 September 2022
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_6
category theorypartial morphismcomprehensive systemhereditary pushoutupper adjointsingle-pushout rewriting
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items (2)
Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Comprehensive systems: a formal foundation for multi-model consistency management
Cites Work
- Unnamed Item
- Unnamed Item
- Algebraic approach to single-pushout graph transformation
- Topoi. The categorial analysis of logic. Rev. ed
- On graph rewritings
- Categories of partial maps
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- Comprehensive systems: a formal foundation for multi-model consistency management
- Adhesive subcategories of functor categories with instantiation to partial triple graphs
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput
- Fundamentals of algebraic graph transformation
- On Pushouts of Partial Maps
- Hereditary Pushouts Reconsidered
- Specification of graph translators with triple graph grammars
This page was built for publication: Single Pushout Rewriting in Comprehensive Systems