Deconfined Global Types for Asynchronous Sessions

From MaRDI portal
Publication:5883749

DOI10.46298/lmcs-19(1:3)2023OpenAlexW3215689907MaRDI QIDQ5883749

Francesco Dagnino, Mariangiola Dezani-Ciancaglini, Paola Giannini

Publication date: 22 March 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.11984v6




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Deconfined Global Types for Asynchronous Sessions