2009 | OriginalPaper | Buchkapitel
Asynchronous Session Types: Exceptions and Multiparty Interactions
verfasst von : Marco Carbone, Nobuko Yoshida, Kohei Honda
Erschienen in: Formal Methods for Web Services
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.