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)2025
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive CategoriesArticle

Authors: 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

    Consultation statistics

    This page has been seen 381 times.
    This article's PDF has been downloaded 164 times.