Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti. Formalising a Turing-Complete Choreographic Language in Coq. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.