 |
|
|
|
| HAL: hal-00546531, version 2 |
| DOI: 10.1007/978-3-642-21464-6_9 |
| Detailed view |  Export this paper |
|
|
| Coordination Models and Languages, Iceland (2011) |
|
|
| Available versions: | v1 (2010-12-14) | v2 (2010-12-26) |
|
|
|
|
| Fair Subtyping for Multi-Party Session Types |
|
|
Luca Padovani 1 |
|
|
| (2011-06-07) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
|
|
| Subtyping – session types – liveness properties |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00546531, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00546531 | |
| oai:hal.archives-ouvertes.fr:hal-00546531 | |
| From: Luca Padovani | |
| Submitted on: Sunday, 26 December 2010 14:01:21 | |
| Updated on: Monday, 2 January 2012 21:07:20 | |
