A Logical View of Choreography.

Carlo Montangero, Laura Semini

Browse the full Coordination paper archive.