Concurrency theorems for non-linear rewriting theories (@ICGT2021)
Channel: GReTA Seminar
Date: 2021-09-29

Authors:  Nicolas Behr, Russ Harmer, and Jean Krivine

Presented at the 14th International Conference on Graph Transformation (ICGT 2021), held as a virtual event as part of STAF 2021 (Software Technologies: Applications and Foundations). The conference took place under the auspices of EATCS and IFIP WG 1.3. Proceedings are published by Springer in the Lecture Notes in Computer Science (LNCS) series: 10.1007/978-3-030-78946-6