A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

Jens Kosiol, Gabriele Taentzer. A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Volume 12741 of Lecture Notes in Computer Science, pages 22-39, Springer, 2021. [doi]

Abstract

Abstract is missing.