Deconfined Global Types for Asynchronous Sessions - Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola (arXiv.org, 2023)
Keywords: Algorithms; Computer networks; Computer Science - Logic in Computer Science; Computer Science - Programming Languages