Hans-Jörg Kreowski ; Aaron Lye ; Aljoscha Windhorst
-
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive
Categories
lmcs:12739 -
Logical Methods in Computer Science,
April 16, 2025,
Volume 21, Issue 2
-
https://doi.org/10.46298/lmcs-21(2:4)2025Moving a Derivation Along a Derivation Preserves the Spine in Adhesive
CategoriesArticle
Authors: Hans-Jörg Kreowski ; Aaron Lye ; Aljoscha Windhorst
NULL##NULL##NULL
Hans-Jörg Kreowski;Aaron Lye;Aljoscha Windhorst
In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: 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.
Volume: Volume 21, Issue 2
Published on: April 16, 2025
Accepted on: February 15, 2025
Submitted on: December 22, 2023
Keywords: Computer Science - Discrete Mathematics