Download the complete article:

@article{BarbaneradL19,
  volume = {102},
  author = {Franco Barbanera and Ugo de' Liguoro},
  url = {https://doi.org/10.1016/j.jlamp.2018.10.001},
  localfile = {http://www.di.unito.it/~deligu/papers/JLAMP-2019a.pdf},
  tag = {{J. Log. Algebr. Meth. Program.}},
  abstract = {In the setting of the $\pi$-calculus with binary sessions, we aim
              at relaxing the notion of duality of session types by the concept
              of retractable compliance developed in contract theory. This leads
              to extending session types with a new type operator of speculative
              selection including choices not necessarily offered by a compliant
              partner. We address the problem of selecting successful
              communicating branches by means of an operational semantics based
              on orchestrators, which has been shown to be equivalent to the
              retractable semantics of contracts, but clearly more feasible. A
              type system, sound with respect to such a semantics, is hence
              provided. The introduction of subtyping when interactions are
              orchestrated naturally leads to explicit subtyping, where
              coercions are functors on orchestrators. Besides,
              priority-governed selection policies (either at type- or
              process-level) are investigated in order to get rid of
              nondeterministic behaviours but those of the partner processes of
              the interactions.},
  title = {Session types and subtyping for orchestrated interactions},
  pages = {103--137},
  journal = {J. Log. Algebr. Meth. Program.},
  doi = {10.1016/j.jlamp.2018.10.001},
  year = {2019},
}

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