@InProceedings{ Padovani09B,
author = {Luca Padovani},
title = {{Session Types at the Mirror}},
booktitle = {Proceedings of the 2nd Interaction and Concurrency
Experience (ICE'09)},
year = {2009},
series = {EPTCS},
volume = {12},
pages = {71-86},
publisher = {Open Publishing Association},
doi = {10.4204/EPTCS.12.5},
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. }
}