Generalized Weighted Type Graphs for Termination of Graph Transformation Systems (ICGT 2024 - ICGT Research Papers)

Wed 10 - Thu 11 July 2024 Enschede, Netherlands

co-located with STAF 2024

Who

Joerg Endrullis, Roy Overbeek

Track

ICGT 2024 ICGT Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 11 Jul 2024 12:00 - 12:30 at Waaier 1 - ICGT Session 4 Chair(s): Detlef Plump

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.

Joerg Endrullis

Vrije Universiteit Amsterdam

Netherlands

Roy Overbeek