Formulas as Processes, Deadlock-Freedom as Choreographies.

Matteo Acclavio, Giulia Manara, Fabrizio Montesi

Browse the full ESOP paper archive.