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]
@inproceedings{HaddadMR06a,
title = {A Formal Semantics and a Client Synthesis for a BPEL Service},
author = {Serge Haddad and Patrice Moreaux and Sylvain Rampacek},
year = {2006},
doi = {10.1007/978-3-540-77581-2_27},
url = {http://dx.doi.org/10.1007/978-3-540-77581-2_27},
tags = {semantics, formal semantics, BPEL},
researchr = {https://researchr.org/publication/HaddadMR06a},
cites = {0},
citedby = {0},
pages = {388-401},
booktitle = {Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers},
editor = {Yannis Manolopoulos and Joaquim Filipe and Panos Constantopoulos and José Cordeiro},
volume = {3},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-540-77580-5},
}