Carlo Montangero Laura Semini A Logical View of Choreography. 179-193 2006 conf/coordination/2006 COORDINATION http://dx.doi.org/10.1007/11767954_12 db/conf/coordination/coordination2006.html#MontangeroS06