Padovani11A (In proceedings)
|
Author(s) | Luca Padovani |
Title | « Fair Subtyping for Multi-Party Session Types » |
In | Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'11) |
Series | LNCS |
Volume | 6721 |
Page(s) | 127-141 |
Year | 2011 |
Publisher | Springer |
URL | http://www.di.unito.it/~padovani/Papers/FairSubtyping.pdf |
Abstract |
The standard subtyping relation used in dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for multi-party session types that preserves liveness, we relate it with the standard subtyping relation, and we give algorithms for deciding it. As a side effect, 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. |
@inproceedings{Padovani11A,
volume = {6721},
author = {Luca Padovani},
series = {LNCS},
booktitle = {Proceedings of the International Conference on Coordination
Models and Languages (COORDINATION'11)},
url = {http://www.di.unito.it/~padovani/Papers/FairSubtyping.pdf},
abstract = { The standard subtyping relation used in dyadic session type
theories may compromise the liveness of multi-party sessions. In
this paper we define a \emph{fair} subtyping relation for
multi-party session types that preserves liveness, we relate it
with the standard subtyping relation, and we give algorithms for
deciding it. As a side effect, 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. },
title = {{Fair Subtyping for Multi-Party Session Types}},
publisher = {Springer},
year = {2011},
pages = {127-141},
doi = {10.1007/978-3-642-21464-6\_9},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)