@misc{indiciaefb1909c0cb1a,
  title = {A Logic for Choreographies},
  author = {Marco Carbone and Davide Grohmann and Thomas T. Hildebrandt and Hugo A. López},
  year = {2011},
  doi = {10.4204/eptcs.69.3},
  url = {https://arxiv.org/abs/1110.4159},
  note = {Source identifier: 1110.4159}
}