R. Abdallah, C. Jard, and L. Hélouët, Distributed implementation of message sequence charts. Software and Systems Modeling, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00744068

R. Alur, K. Etessami, and M. Yannakakis, Realizability and verification of msc graphs, ICALP, pp.797-808, 2001.

N. Baudru and R. Morin, Synthesis of Safe Message-Passing Systems, FSTTCS, pp.277-289, 2007.
DOI : 10.1007/978-3-540-77050-3_23

H. Ben-abdallah and S. Leue, Syntactic detection of process divergence and nonlocal choice in message sequence charts, Proc. of TACAS'97, pp.259-274, 1997.

G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, The, 2005.

D. Brand and P. Zafiropoulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1981.
DOI : 10.1145/322374.322380

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, PLILP, pp.191-206, 1997.
DOI : 10.1007/BFb0033845
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3107

B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun, Infinite-state high-level MSCs: Model-checking and realizability, Journal of Computer and System Sciences, vol.72, issue.4, pp.617-647, 2006.
DOI : 10.1016/j.jcss.2005.09.007
URL : https://hal.archives-ouvertes.fr/hal-00306255

O. Haugen, in message sequence charts (msc), p.126, 1999.

L. Hélouët and C. Jard, Conditions for synthesis of communicating automata from HMSCs, Proc. of FMICS, 2000.

M. Lohrey, Realizability of high-level message sequence charts: closing the gaps, Theoretical Computer Science, vol.309, issue.1-3, pp.529-554, 2003.
DOI : 10.1016/j.tcs.2003.08.002

K. Marriott and P. J. Stuckey, Programming with Constraints: An Introduction, 1998.

M. Reniers and S. Mauw, High-level Message Sequence Charts, SDL97: Time for Testing -SDL, MSC and Trends, Proc. of the 8th SDL Forum, pp.291-306, 1997.

E. Rudolph, J. Grabowski, and P. Graubmann, Tutorial on Message Sequence Charts (MSC '96). Tutorial, FORTE/PSTV'96, 1996.
DOI : 10.1016/0169-7552(95)00122-0

P. Van-hentenryck, V. A. Saraswat, and Y. Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), The Journal of Logic Programming, vol.37, issue.1-3, pp.1-3139, 1998.
DOI : 10.1016/S0743-1066(98)10006-7