Sessions, from Types to Programming Languages

@article{Vasconcelos2011SessionsFT,
  title={Sessions, from Types to Programming Languages},
  author={Vasco Thudichum Vasconcelos},
  journal={Bulletin of the EATCS},
  year={2011},
  volume={103},
  pages={53-73}
}
We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language. 
Highly Cited
This paper has 21 citations. REVIEW CITATIONS