Concurrency Theorems for Non-linear Rewriting Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nicolas Behr' in GoogleThis author has not been identified. Look up 'Russ Harmer' in GoogleThis author has not been identified. Look up 'Jean Krivine' in Google

runs on WebDSL