TY  - RPRT
TI  - Decoupled execution of synchronous coordination models via behavioural automata
AU  - José Proença
AU  - Dave Clarke
AU  - Erik de Vink
AU  - Farhad Arbab
PY  - 2011
DO  - 10.4204/eptcs.58.5
UR  - https://arxiv.org/abs/1108.0232
ID  - 1108.0232
ER  -