@Inproceedings{EPTCS101.4,
  author    = {Baltazar, Pedro and Mostrous, Dimitris and Vasconcelos, Vasco T.},
  year      = {2012},
  title     = {Linearly Refined Session Types},
  editor    = {Alves, Sandra and Mackie, Ian},
  booktitle = {{\rm Proceedings 2nd International Workshop on}
               Linearity,
               {\rm Tallinn, Estonia, 1 April 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {101},
  publisher = {Open Publishing Association},
  pages     = {38-49},
  doi       = {10.4204/EPTCS.101.4},
}