Inference of Message Sequence Charts, IEEE Trans. Software Eng, vol.29, issue.7, pp.623-633, 2003. ,
Resolving non-determinism in choreographies, ESOP. pp, pp.493-512, 2014. ,
A Calculus of Global Interaction based on Session Types, Electronic Notes in Theoretical Computer Science, vol.171, issue.3, pp.127-151, 2007. ,
Partial order models of concurrency and the computation of functions, LICS, pp.72-85, 1987. ,
Realisability of pomsets via communicating automata, 2018. ,
Compositional Message Sequence Charts, TACAS, pp.496-511, 2001. ,
Multiparty asynchronous session types, Journal of the ACM, vol.63, issue.1, p.8, 2016. ,
From Communicating Machines to Graphical Choreographies, pp.221-232, 2015. ,
A multi-language computing environment for literate programming and reproducible research, Journal of Statistical Software, vol.46, issue.3, pp.1-24, 2012. ,
Process mining: discovery, conformance and enhancement of business processes, vol.2, 2011. ,