TY  - RPRT
TI  - Coordination via Interaction Constraints I: Local Logic
AU  - Dave Clarke
AU  - José Proença
PY  - 2009
DO  - 10.4204/eptcs.12.2
UR  - https://arxiv.org/abs/0911.5445
ID  - 0911.5445
ER  -