Giuseppe Castagna ; Mariangiola Dezani-Ciancaglini ; Luca Padovani - On Global Types and Multi-Party Session

lmcs:773 - Logical Methods in Computer Science, March 15, 2012, Volume 8, Issue 1 - https://doi.org/10.2168/LMCS-8(1:24)2012
On Global Types and Multi-Party Session

Authors: Giuseppe Castagna ; Mariangiola Dezani-Ciancaglini ; Luca Padovani ORCID-iD

    Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities.


    Volume: Volume 8, Issue 1
    Published on: March 15, 2012
    Accepted on: June 25, 2015
    Submitted on: July 4, 2011
    Keywords: Computer Science - Programming Languages,F.1.2, F.3.3, H.3.5, H.5.3

    Linked data

    Source : ScholeXplorer IsCitedBy ARXIV 2107.03984
    Source : ScholeXplorer IsCitedBy DOI 10.4230/lipics.concur.2021.35
    Source : ScholeXplorer IsCitedBy DOI 10.48550/arxiv.2107.03984
    • 10.48550/arxiv.2107.03984
    • 10.4230/lipics.concur.2021.35
    • 2107.03984
    Generalising Projection in Asynchronous Multiparty Session Types
    Majumdar, Rupak ; Mukund, Madhavan ; Stutz, Felix ; Zufferey, Damien ;

    54 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 1269 times.
    This article's PDF has been downloaded 389 times.