A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
Model Checking, 2000. ,
Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004. ,
DOI : 10.1145/1035167.1035202
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004. ,
DOI : 10.1145/988672.988756
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
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
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
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
Modelling web services interoperability, Proc. of the 6th Int. Conf. on Enterprise Information Systems (ICEIS04), 2004. ,
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
LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989. ,
Web Services Business Process Execution Language Version 2.0 -Oasis Standard, 2007. ,
Soa in Practice ? The Art of Distributed System Design, 2007. ,
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
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
Concurrency: State Models and Java Programs, 1999. ,
Compiling communicating processes into delay-insensitive VLSI circuits, Distributed Computing, pp.226-234, 1986. ,
DOI : 10.1007/BF01660034
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
A model checking language for concurrent valuepassing systems, Proc. of FM'2008, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
Verifying correctness of web services choreography, Proc. of ECOWS06, 2006. ,
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
The Algebra of Timed Processes, ATP: Theory and Application, Information and Computation, vol.114, issue.1, 1994. ,
DOI : 10.1006/inco.1994.1083
Negotiation Among Web Services Using LOTOS/CADP, Proc. of ECOWS04, pp.198-212, 2004. ,
DOI : 10.1007/978-3-540-30209-4_15
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
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
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