4 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.DM2023
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
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 deri…
cs.DC2020★ 4 cited
Graph Surfing in Reaction Systems from a Categorial Perspective
Hans-Jörg Kreowski, Aaron Lye
Graph-based reaction systems were recently introduced as a generalization of the intensely studied set-based reaction systems. They deal with simple edge-labeled directed graphs, a…
cs.FL2019★ 4 cited
Transformation of Turing Machines into Context-Dependent Fusion Grammars
Aaron Lye
Context-dependent fusion grammars were recently introduced as devices for the generation of hypergraph languages. In this paper, we show that this new type of hypergraph grammars,…