Multiparty Session Programming With Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. Multiparty Session Programming With Global Protocol Combinators. In Robert Hirschfeld, Tobias Pape, editors, 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Volume 166 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

No reviews for this publication, yet.