R. Alur, K. Etessami, and M. Yannakakis, Inference of Message Sequence Charts, IEEE Trans. Software Eng, vol.29, issue.7, pp.623-633, 2003.

L. Bocchi, H. C. Melgratti, and E. Tuosto, Resolving non-determinism in choreographies, ESOP. pp, pp.493-512, 2014.

M. Carbone, K. Honda, and N. Yoshida, A Calculus of Global Interaction based on Session Types, Electronic Notes in Theoretical Computer Science, vol.171, issue.3, pp.127-151, 2007.

H. Gaifman and V. R. Pratt, Partial order models of concurrency and the computation of functions, LICS, pp.72-85, 1987.

R. Guanciale and E. Tuosto, Realisability of pomsets via communicating automata, 2018.

E. L. Gunter, A. Muscholl, and D. A. Peled, Compositional Message Sequence Charts, TACAS, pp.496-511, 2001.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Journal of the ACM, vol.63, issue.1, p.8, 2016.

J. Lange, E. Tuosto, and N. Yoshida, From Communicating Machines to Graphical Choreographies, pp.221-232, 2015.

E. Schulte, D. Davison, T. Dye, and C. Dominik, A multi-language computing environment for literate programming and reproducible research, Journal of Statistical Software, vol.46, issue.3, pp.1-24, 2012.

W. Van-der-aalst, Process mining: discovery, conformance and enhancement of business processes, vol.2, 2011.