Synthesising Choreographies from Local Session Types.

Julien Lange, Emilio Tuosto

Browse the full CONCUR paper archive.