R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. Chirichiello and G. Salaün, Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05), pp.457-463
DOI : 10.1109/WI.2005.59

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2000.

A. Ferrara, Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004.
DOI : 10.1145/1035167.1035202

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004.
DOI : 10.1145/988672.988756

X. Fu, T. Bultan, and J. Su, WSAT: A Tool for Formal Analysis of Web Services, Proc. of the 16th International Conference on Computer Aided Verification, 2004.
DOI : 10.1007/978-3-540-27813-9_48

H. Garavel, . Open, and . Caesar, An open software architecture for verification, simulation , and testing, Proc. of TACAS'98, pp.68-84, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'2001, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24

URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'2007, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18

URL : https://hal.archives-ouvertes.fr/inria-00189021

S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek, Modelling web services interoperability, Proc. of the 6th Int. Conf. on Enterprise Information Systems (ICEIS04), 2004.

S. Haddad, P. Moreaux, and S. Rampacek, A Formal Semantics and a Client Synthesis for a BPEL Service, Lecture Notes in Business Information Processing, 2008.
DOI : 10.1007/978-3-540-77581-2_27

I. Iec, LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

D. Jordan and J. Evdemon, Web Services Business Process Execution Language Version 2.0 -Oasis Standard, 2007.

N. Josuttis, Soa in Practice ? The Art of Distributed System Design, 2007.

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proc. of IFM'2005, 2005.
DOI : 10.1007/11589976_6

URL : https://hal.archives-ouvertes.fr/inria-00070339

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

J. Magee and J. Kramer, Concurrency: State Models and Java Programs, 1999.

A. J. Martin, Compiling communicating processes into delay-insensitive VLSI circuits, Distributed Computing, pp.226-234, 1986.
DOI : 10.1007/BF01660034

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1

URL : https://hal.archives-ouvertes.fr/inria-00072755

R. Mateescu and D. Thivolle, A model checking language for concurrent valuepassing systems, Proc. of FM'2008, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

T. Melliti, C. Boutrous-saab, and S. Rampacek, Verifying correctness of web services choreography, Proc. of ECOWS06, 2006.

M. J. Morley, Safety-level communication in railway interlockings, Science of Computer Programming, vol.29, issue.1-2, pp.147-170, 1997.
DOI : 10.1016/S0167-6423(96)00033-0

X. Nicollin and J. Sifakis, The Algebra of Timed Processes, ATP: Theory and Application, Information and Computation, vol.114, issue.1, 1994.
DOI : 10.1006/inco.1994.1083

G. Salaün, A. Ferrara, and A. Chirichiello, Negotiation Among Web Services Using LOTOS/CADP, Proc. of ECOWS04, pp.198-212, 2004.
DOI : 10.1007/978-3-540-30209-4_15

G. Salaün, J. Kramer, F. Lang, and J. Magee, Translating FSP into LOTOS and Networks of Automata, Proc. of IFM'2007, pp.558-578, 2007.
DOI : 10.1007/978-3-540-73210-5_29

G. Salaün and W. Serwe, Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS, Proc. of IFM'2005, pp.287-306, 2005.
DOI : 10.1007/11589976_17

K. J. Turner, Representing and analysing composed web services using Cress, Journal of Network and Computer Applications, vol.30, issue.2, pp.541-562, 2007.
DOI : 10.1016/j.jnca.2006.02.001