Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 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.

 BibTeX code

@inproceedings{Padovani11A,
volume = {6721},
author = {Luca Padovani},
series = {LNCS},
booktitle = {Proceedings of the International Conference on Coordination
Models and Languages (COORDINATION'11)},
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},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)