Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

Autor:	Kreowski, Hans-Jörg, Lye, Aaron, Windhorst, Aljoscha
Rok vydání:	2023
Předmět:	Computer Science - Discrete Mathematics
Druh dokumentu:	Working Paper
Popis:	In this paper, we investigate the relationship between two elementary operations on derivations in adhesive high-level replacement systems that are well-known in the context of graph transformation: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation with respect to a monomorphism into the start object on the other hand. Intuitively, a restriction clips off parts of the start object that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction. Comment: Extended version of the paper published in the proceedings of the 16th International Conference on Graph Transformation; 30 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2312.13510 Zobrazit plný text záznamu View this record from Arxiv