Deconfined Global Types for Asynchronous Sessions

Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions. Logical Methods in Computer Science, 19(1), 2023. [doi]

Abstract

Abstract is missing.