@InProceedings{	  Padovani09bis,
  author	= {Luca Padovani},
  title		= {{S}ession {T}ypes at the {M}irror},
  booktitle	= {Proceedings of the 2nd Workshop on Interaction and
		  Concurrency Experience (ICE'09)},
  volume	= {EPTCS 12},
  year		= {2009},
  pages		= {71-86},
  url		= {http://www.di.unito.it/~padovani/Papers/MirroredSessionTypes.pdf}
		  ,
  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.}
}