Termination of Graph Transformation Systems via Generalized Weighted Type GraphsArticle
Authors: Jörg Endrullis ; Roy Overbeek
NULL##NULL
Jörg Endrullis;Roy Overbeek
We refine the weighted type graph technique for proving termination of double pushout (DPO) graph transformation systems. We increase the power of the approach for graphs, we generalize the technique to other categories, and we allow for variations of DPO that occur in the literature.
Volume: Volume 22, Issue 1
Published on: February 27, 2026
Accepted on: September 16, 2025
Submitted on: December 23, 2024
Keywords: Logic in Computer Science