Reasoning About Choreographic Programs.

Lus Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti

Browse the full Coordination paper archive.