Single pushout rewriting in comprehensive systems of graph-like structures
From MaRDI portal
Publication:2049985
DOI10.1016/j.tcs.2021.07.002OpenAlexW3184152566MaRDI QIDQ2049985
Publication date: 27 August 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2021.07.002
category theorypartial morphismcomprehensive systemhereditary pushoutsingle pushout rewritingupper adjoint
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic approach to single-pushout graph transformation
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- On graph rewritings
- Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25--26, 2020. Proceedings
- Categories of partial maps
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- 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
- Refined Graph Rewriting in Span-Categories
- Confluence of Graph Rewriting with Interfaces
- On Pushouts of Partial Maps
- Sesqui-Pushout Rewriting
- Correctness of high-level transformation systems relative to nested conditions
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Rewriting in Span-Categories
- Hereditary Pushouts Reconsidered
- Towards Multiple Model Synchronization with Comprehensive Systems
- Single Pushout Rewriting in Comprehensive Systems
- Graph Transformations
- Foundations of Software Science and Computation Structures
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
This page was built for publication: Single pushout rewriting in comprehensive systems of graph-like structures
