Deconfined Global Types for Asynchronous Sessions

Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all participants, maximising, at the same time, the accepted...

Full description

Saved in:
Bibliographic Details
Published inLogical methods in computer science Vol. 19, Issue 1
Main Authors Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Format Journal Article
LanguageEnglish
Published Logical Methods in Computer Science e.V 01.01.2023
Subjects
computer science - logic in computer science
computer science - programming languages
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first