Session Types at the Mirror

Luca Padovani
2009 Electronic Proceedings in Theoretical Computer Science  
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
more » ... ere every notion, from well-typedness to the subtyping relation between session types, is semantically -rather than syntactically- grounded.
doi:10.4204/eptcs.12.5 fatcat:2rftc6szsnfwbknjnbodnmsxzq