@Inproceedings{EPTCS17.3,
  author    = {Carbone, Marco and Guttman, Joshua},
  year      = {2010},
  title     = {Execution Models for Choreographies and Cryptoprotocols},
  editor    = {Beresford, Alastair R. and Gay, Simon},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Programming Language Approaches to Concurrency and Communication-cEntric Software,
               {\rm York, UK, 22nd March 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {17},
  publisher = {Open Publishing Association},
  pages     = {31-41},
  doi       = {10.4204/EPTCS.17.3},
}