@inproceedings{Padovani09B,
  volume = {12},
  author = {Luca Padovani},
  series = {EPTCS},
  booktitle = {Proceedings of the Interaction and Concurrency Experience
               (ICE'09)},
  url = {http://www.di.unito.it/~padovani/Papers/MirroredSessionTypes.pdf},
  abstract = { We (re)define session types as projections of process behaviors
              with respect to the communication channels they use. In this
              setting, we give session types a semantics based on fair testing.
              The outcome is a unified theory of behavioral types that shares
              common aspects with conversation types and that encompass features
              of both dyadic and multi-party session types. The point of view we
              provide sheds light on the nature of session types and gives us a
              chance to reason about them in a framework where every notion,
              from well-typedness to the subtyping relation between session
              types, is semantically -- rather than syntactically -- grounded.
              },
  title = {{Session Types at the Mirror}},
  publisher = {Open Publishing Association},
  year = {2009},
  pages = {71-86},
  doi = {10.4204/EPTCS.12.5},
}

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