On Formal Choreographic Modelling: A Case Study in EU Business Processes.

Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto

Browse the full ISoLA paper archive.