@inproceedings{97b40bc4a00343b9b6b7bb0d708ea119,
title = "Generalized Weighted Type Graphs for Termination of Graph Transformation Systems",
abstract = "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.",
keywords = "DPO, Graph rewriting, Termination, Weighted Type Graphs",
author = "J{\"o}rg Endrullis and Roy Overbeek",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.; 17th International Conference on Graph Transformation, ICGT 2024, held as Part of Software Technologies: Applications and Foundations, STAF 2024 ; Conference date: 10-07-2024 Through 11-07-2024",
year = "2024",
doi = "10.1007/978-3-031-64285-2_3",
language = "English",
isbn = "9783031642845",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "39--58",
editor = "Russ Harmer and Jens Kosiol",
booktitle = "Graph Transformation",
address = "Germany",
}