Synthesising Choreographies from Local Session Types (extended version)

Julien Lange, Emilio Tuosto

Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available compu…