From Communicating Machines to Graphical Choreographies.

Julien Lange, Emilio Tuosto, Nobuko Yoshida

Browse the full POPL paper archive.