2009 | OriginalPaper | Chapter
Asynchronous Session Types: Exceptions and Multiparty Interactions
Authors : Marco Carbone, Nobuko Yoshida, Kohei Honda
Published in: Formal Methods for Web Services
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Session types are a formalism for structuring communication based on the notion of
session
: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and validating interactions involving more complex scenarios. In this note, we shall explore two extensions of session types to
interactional exceptions
and
multiparty session
in presence of asynchronous communication.