Asynchronous Session Types – Exceptions and Multiparty Interactions

Marco Carbone, Nobuko Yoshida, Kohei Honda

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

    Abstract

    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.
    Original languageEnglish
    Title of host publicationFormal Methods for Web Services
    Number of pages25
    Volume5569
    PublisherSpringer
    Publication date2009
    Pages187-212
    Publication statusPublished - 2009
    SeriesLecture Notes in Computer Science
    Volume5569
    ISSN0302-9743

    Keywords

    • Session Types
    • Communication Structuring
    • Type Discipline
    • Interactional Exceptions
    • Multiparty Asynchronous Communication

    Fingerprint

    Dive into the research topics of 'Asynchronous Session Types – Exceptions and Multiparty Interactions'. Together they form a unique fingerprint.

    Cite this