Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012. ,
Automatic choreography repair, Theor. Comput. Sci, 2015. ,
A Correct-by-Construction Model for Asynchronously Communicating Systems, International Journal STTT, pp.1-21, 2016. ,
Verchor: a framework for the design and verification of choreographies, IEEE Transactions on Services Computing, vol.9, issue.4, pp.647-660, 2016. ,
Introduction to Automata Theory, Languages and Computation, 1979. ,