Single pushout rewriting in comprehensive systems of graph-like structures
type: Item
instance of: scholarly article
title: Single pushout rewriting in comprehensive systems of graph-like structures
author: Patrick Stünkel
author: Harald König
published in: Theoretical Computer Science
publication date: 2021-08-27T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7387697
zbMATH Keywords: single pushout rewriting
zbMATH Keywords: partial morphism
zbMATH Keywords: category theory
zbMATH Keywords: hereditary pushout
zbMATH Keywords: upper adjoint
zbMATH Keywords: comprehensive system
MaRDI profile type: Publication
full work available at URL: j.tcs.2021.07.002
OpenAlex ID: W3184152566
cites work: Towards Multiple Model Synchronization with Comprehensive Systems
cites work: Single Pushout Rewriting in Comprehensive Systems
cites work: Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25--26, 2020. Proceedings
cites work: Confluence of Graph Rewriting with Interfaces
cites work: Categorical principles, techniques and results for high-level-replacement systems in computer science
cites work: Graph Transformations
cites work: Algebraic approach to single-pushout graph transformation
cites work: Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
cites work: Fundamentals of algebraic graph transformation
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Q4037314
cites work: Foundations of Software Science and Computation Structures
cites work: On graph rewritings
cites work: Q4037323
cites work: Sesqui-Pushout Rewriting
cites work: Graph Rewriting in Span-Categories
cites work: Refined Graph Rewriting in Span-Categories
cites work: On Pushouts of Partial Maps
cites work: Categories of partial maps
cites work: Hereditary Pushouts Reconsidered
cites work: Multiple model synchronization with multiary delta lenses with amendment and K-Putput
cites work: Adhesive subcategories of functor categories with instantiation to partial triple graphs
cites work: Q4693062
cites work: Correctness of high-level transformation systems relative to nested conditions
cites work: Algebraic transformation of unary partial algebras II: Single-pushout approach
cites work: Q3138859
DOI: 10.1016/J.TCS.2021.07.002
description: scientific article; zbMATH DE number 7387697