Choreography Automata.

Franco Barbanera, Ivan Lanese, Emilio Tuosto

Browse the full Coordination paper archive.