Session Types at the Mirror

Details Session Types at the Mirror Session Types at the Mirror

2009-11-29

arxiv.org/abs/0911.5449v1

EPTCS 12, 2009, pp. 71-86

Computer Science

Programming Languages

Scientific paper

10.4204/EPTCS.12.5

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.

Affiliated with

Also associated with

No associations

Rating

Session Types at the Mirror does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Session Types at the Mirror, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Session Types at the Mirror will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-150797