Serge Haddad, Patrice Moreaux, Sylvain Rampacek. A Formal Semantics and a Client Synthesis for a BPEL Service. In Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro, editors, Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers. Volume 3 of Lecture Notes in Business Information Processing, pages 388-401, Springer, 2006. [doi]