G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services: Concepts, Architectures and Applications, 2010.
DOI : 10.1007/978-3-662-10876-5

B. Benatallah, F. Casati, and F. Toumani, Web service conversation modeling: a cornerstone for e-business automation, IEEE Internet Computing, vol.8, issue.1, pp.46-54, 2004.
DOI : 10.1109/MIC.2004.1260703
URL : https://hal.archives-ouvertes.fr/hal-00108317

D. Berardi, D. Calvanese, G. De-giacomo, R. Hull, and M. Mecella, Automatic composition of transition-based semantic web services with messaging, VLDB, pp.613-624, 2005.

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003.
DOI : 10.1145/775152.775210

S. Christensen, Decidability and decomposition in process algebras, 1993.

J. Courtois and S. Schmitz, Alternating Vector Addition Systems with States, Mathematical Foundations of Computer Science 2014, pp.220-231, 2014.
DOI : 10.1007/978-3-662-44522-8_19
URL : https://hal.archives-ouvertes.fr/hal-00980878

L. Ramy-ragab-hassen, F. Nourine, and . Toumani, Protocol-Based Web Service Composition, ICSOC, pp.38-53, 2008.
DOI : 10.2307/2370405

J. Hopcroft and J. Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, vol.8, issue.2, pp.135-159, 1979.
DOI : 10.1016/0304-3975(79)90041-0

R. Rodney, . Howell, E. Louis, . Rosier, T. Dung et al., Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states, TCS, vol.46, pp.107-140, 1986.

S. Rao and K. , Decidability of reachability in vector addition systems (preliminary version), Proceedings of the fourteenth annual ACM symposium on Theory of computing, pp.267-281, 1982.

S. Lasota, EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system, Information Processing Letters, vol.109, issue.15, pp.850-855, 2009.
DOI : 10.1016/j.ipl.2009.04.003

A. Muscholl and I. Walukiewicz, A lower bound on web services composition, Logical Methods in Computer Science, vol.4, issue.2, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00344194