HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00546531
Contributor : Luca Padovani Connect in order to contact the contributor
Submitted on : Sunday, December 26, 2010 - 2:01:21 PM
Last modification on : Friday, March 27, 2020 - 3:36:56 AM
Long-term archiving on: : Thursday, March 30, 2017 - 4:01:55 AM

File

main.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

134

Files downloads

212