Fair Subtyping for Multi-Party Session Types - Coordination Models and Languages Access content directly
Conference Papers Year : 2011

Fair Subtyping for Multi-Party Session Types


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.
Fichier principal
Vignette du fichier
main.pdf (366.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00546531 , version 1 (14-12-2010)
hal-00546531 , version 2 (26-12-2010)





Luca Padovani. Fair Subtyping for Multi-Party Session Types. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩. ⟨hal-00546531v2⟩
163 View
243 Download



Gmail Facebook X LinkedIn More