Clarke D, Proença J.? 2009.??Coordination via Interaction Constraints I: Local Logic. Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions - ICE. :17?39.