Cargando…

Single Pushout Rewriting in Comprehensive Systems

The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. Thus, SPO’s applicability depends on the durability of pushouts after this transition. There is a wide range of work on the question when pu...

Descripción completa

Detalles Bibliográficos
Autores principales: König, Harald, Stünkel, Patrick
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314711/
http://dx.doi.org/10.1007/978-3-030-51372-6_6