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

Padovani11A (In proceedings)
Author(s) Luca Padovani
Title« Fair Subtyping for Multi-Party Session Types »
InProceedings of the International Conference on Coordination Models and Languages (COORDINATION'11)
SeriesLNCS
Volume6721
Page(s)127-141
Year2011
PublisherSpringer
URLhttp://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)},
  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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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)

Valid HTML 4.01!