STAF 2025 (series) / ICGT 2025 (series) / ICGT Research Papers /
Parallel Rule Application with Doubling Avoidance
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 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 30mTalk | Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting ICGT Research Papers Qi Qiu Université Claude Bernard Lyon 1 | ||
16:00 30mTalk | 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 30mTalk | 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 |