Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Résumé

Conventional session type systems guarantee progress within single sessions, but do not usually take into account the dependencies arising from the interleaving of simultaneously active sessions and from session delegations. As a consequence, a well-typed system may fail to have progress, even assuming that helper processes can join the system after its execution has started. In this paper we develop a static analysis technique, specified as a set of syntax-directed inference rules, that is capable of verifying whether a system of processes engaged in simultaneously active multiparty sessions has the progress property.
Fichier principal
Vignette du fichier
978-3-642-38493-6_4_Chapter.pdf (216.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01486034 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, ⟨10.1007/978-3-642-38493-6_4⟩. ⟨hal-01486034⟩
69 Consultations
51 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More