@inproceedings{foclasa11,
  author    = {J. Proen\c{c}a and D. Clarke and Vink, E.P. de and F. Arbab},
  title     = {Decoupled execution of synchronous coordination models 
               via behavioural automata},
  booktitle = {Proc.\ FOCLASA 2011, Aachen},
  editor    = {M.R. Mousavi and A. Ravara},
  year      = {2011},
  publisher = {EPTCS~58},
  pages     = {65--79},
  doi       = {10.4204/EPTCS.58.5}
}