@misc{indiciaed899f5878dff,
  title = {Execution Models for Choreographies and Cryptoprotocols},
  author = {Marco Carbone and Joshua Guttman},
  year = {2010},
  doi = {10.4204/eptcs.17.3},
  url = {https://arxiv.org/abs/1002.0935},
  note = {Source identifier: 1002.0935}
}