Coordination via Interaction Constraints I: Local Logic

Publication
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009