@Inproceedings{EPTCS69.3,
  author    = {Carbone, Marco and Grohmann, Davide and Hildebrandt, Thomas T.  and L\'opez, Hugo A. },
  year      = {2011},
  title     = {A Logic for Choreographies},
  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     = {29-43},
  doi       = {10.4204/EPTCS.69.3},
}