@Inproceedings{EPTCS69.1,
  author    = {Alves, Nuno and Hu, Raymond  and Yoshida, Nobuko  and Deni\'elou, Pierre-Malo},
  year      = {2011},
  title     = {Secure Execution of Distributed Session Programs},
  editor    = {Honda, Kohei and Mycroft, Alan},
  booktitle = {{\rm Proceedings Third Workshop on}
               Programming Language Approaches to Concurrency and communication-cEntric Software,
               {\rm Paphos, Cyprus, 21st March 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {69},
  publisher = {Open Publishing Association},
  pages     = {1-11},
  doi       = {10.4204/EPTCS.69.1},
}