Choreographies, Logically.

Marco Carbone, Fabrizio Montesi, Carsten Schrmann

Browse the full CONCUR paper archive.