ICGT 2025
Wed 11 - Thu 12 June 2025 Koblenz, Germany
co-located with STAF 2025
Wed 11 Jun 2025 16:30 - 17:00 at M 201 - ICGT Session 2: Semantics and Static Analysis

In this paper, the parallelization of parallel independent rule applications within the double-pushout approach over adhesive categories is generalized in such a way that doubling can be avoided. If two rule applications to the same object delete the same part of the commonly accessed part, then independence is restored by removing the deletion part of one of the rule applications. Similarly, one can avoid that certain insertions are doubled. It turns out that parallelization with doubling avoidance is closely related to synchronization by means of amalgamated rules.

Wed 11 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
ICGT Session 2: Semantics and Static AnalysisICGT Research Papers at M 201

Session Chair: Georg Hinkel

15:30
30m
Talk
Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting
ICGT Research Papers
Qi Qiu Université Claude Bernard Lyon 1
16:00
30m
Talk
Rewriting for Traced Monoidal Closed Categories
ICGT Research Papers
Alessandro Di Giorgio Tallinn University of Technology, Dan Ghica Huawei Research and University of Birmingham, Fabio Zanasi University College London
16:30
30m
Talk
Parallel Rule Application with Doubling Avoidance
ICGT Research Papers
Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures