Nicolas Behr, Russ Harmer, Jean Krivine. Concurrency Theorems for Non-linear Rewriting Theories. 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 3-21, Springer, 2021. [doi]
Abstract is missing.