S. Basu, T. Bultan, and M. Ouederni, Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012.

S. Basu and T. Bultan, Automatic choreography repair, Theor. Comput. Sci, 2015.

Z. Farah, Y. Ait-ameur, M. Ouederni, and K. Tari, A Correct-by-Construction Model for Asynchronously Communicating Systems, International Journal STTT, pp.1-21, 2016.

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, Verchor: a framework for the design and verification of choreographies, IEEE Transactions on Services Computing, vol.9, issue.4, pp.647-660, 2016.

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.