Fair Subtyping for Multi-Party Session Types
International audience 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...
Main Author: | |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://hal.science/hal-00546531 https://hal.science/hal-00546531v2/document https://hal.science/hal-00546531v2/file/main.pdf https://doi.org/10.1007/978-3-642-21464-6_9 |
id |
ftifiphal:oai:HAL:hal-00546531v2 |
---|---|
record_format |
openpolar |
spelling |
ftifiphal:oai:HAL:hal-00546531v2 2023-05-15T16:48:27+02:00 Fair Subtyping for Multi-Party Session Types Padovani, Luca Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 Reykjavik, Iceland 2011-06-06 https://hal.science/hal-00546531 https://hal.science/hal-00546531v2/document https://hal.science/hal-00546531v2/file/main.pdf https://doi.org/10.1007/978-3-642-21464-6_9 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_9 hal-00546531 https://hal.science/hal-00546531 https://hal.science/hal-00546531v2/document https://hal.science/hal-00546531v2/file/main.pdf doi:10.1007/978-3-642-21464-6_9 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://hal.science/hal-00546531 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩ Subtyping session types liveness properties [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftifiphal https://doi.org/10.1007/978-3-642-21464-6_9 2023-03-21T20:20:09Z International audience 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. Conference Object Iceland IFIP Open Digital Library (International Federation for Information Processing) 127 141 |
institution |
Open Polar |
collection |
IFIP Open Digital Library (International Federation for Information Processing) |
op_collection_id |
ftifiphal |
language |
English |
topic |
Subtyping session types liveness properties [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
spellingShingle |
Subtyping session types liveness properties [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Padovani, Luca Fair Subtyping for Multi-Party Session Types |
topic_facet |
Subtyping session types liveness properties [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
description |
International audience 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. |
author2 |
Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 |
format |
Conference Object |
author |
Padovani, Luca |
author_facet |
Padovani, Luca |
author_sort |
Padovani, Luca |
title |
Fair Subtyping for Multi-Party Session Types |
title_short |
Fair Subtyping for Multi-Party Session Types |
title_full |
Fair Subtyping for Multi-Party Session Types |
title_fullStr |
Fair Subtyping for Multi-Party Session Types |
title_full_unstemmed |
Fair Subtyping for Multi-Party Session Types |
title_sort |
fair subtyping for multi-party session types |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://hal.science/hal-00546531 https://hal.science/hal-00546531v2/document https://hal.science/hal-00546531v2/file/main.pdf https://doi.org/10.1007/978-3-642-21464-6_9 |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://hal.science/hal-00546531 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_9 hal-00546531 https://hal.science/hal-00546531 https://hal.science/hal-00546531v2/document https://hal.science/hal-00546531v2/file/main.pdf doi:10.1007/978-3-642-21464-6_9 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21464-6_9 |
container_start_page |
127 |
op_container_end_page |
141 |
_version_ |
1766038543115747328 |