Fair Subtyping for Multi-Party Session Types

Luca Padovani 1, *
Abstract : We study a theory of session types in which we add a liveness property to the familiar safety one. In this setting, some subtype relations between session types that hold in other theories and that are commonly regarded as harmless become unsound. We present various equivalent definitions of the subtyping relation, we relate it with the standard ones, and we give algorithms for deciding it. Incidentally, we provide an original and remarkably simple coinductive characterization of the fair testing preorder for nondeterministic, sequential processes consisting of internal choices of outputs and external choices of inputs.
Type de document :
Communication dans un congrès
Wolfgang De Meuter and Gruia-Catalin Roman. Coordination Models and Languages, Jun 2011, Iceland. Springer, 6721, pp.127-141, 2011, LNCS. <10.1007/978-3-642-21464-6_9>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00546531
Contributeur : Luca Padovani <>
Soumis le : dimanche 26 décembre 2010 - 14:01:21
Dernière modification le : lundi 2 janvier 2012 - 21:07:20
Document(s) archivé(s) le : jeudi 30 mars 2017 - 04:01:55

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

PPS

Citation

Luca Padovani. Fair Subtyping for Multi-Party Session Types. Wolfgang De Meuter and Gruia-Catalin Roman. Coordination Models and Languages, Jun 2011, Iceland. Springer, 6721, pp.127-141, 2011, LNCS. <10.1007/978-3-642-21464-6_9>. <hal-00546531v2>

Partager

Métriques

Consultations de
la notice

124

Téléchargements du document

82