@Inproceedings{EPTCS12.2, author = {Clarke, Dave and Proen\c{c}a, Jos\'e }, year = {2009}, title = {Coordination via Interaction Constraints I: Local Logic}, editor = {Bonchi, Filippo and Grohmann, Davide and Spoletini, Paola and Tuosto, Emilio}, booktitle = {{\rm Proceedings 2nd Interaction and Concurrency Experience} Structured Interactions, {\rm Bologna, Italy, 31st August 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {12}, publisher = {Open Publishing Association}, pages = {17-39}, doi = {10.4204/EPTCS.12.2}, }