Jörg Endrullis ; Roy Overbeek - Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

lmcs:14984 - Logical Methods in Computer Science, February 27, 2026, Volume 22, Issue 1 - https://doi.org/10.46298/lmcs-22(1:15)2026
Termination of Graph Transformation Systems via Generalized Weighted Type GraphsArticle

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

Consultation statistics

This page has been seen 294 times.
This article's PDF has been downloaded 130 times.