Clarke, Proença, 2009. Coordination via Interaction Constraints I: Local Logic 12.. https://doi.org/10.4204/eptcs.12.2