Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad. Formal specification and validation of refinement from WS-CDL to BPEL. In 2019 IEEE Symposium on Computers and Communications, ISCC 2019, Barcelona, Spain, June 29 - July 3, 2019. pages 1016-1021, IEEE, 2019. [doi]
Abstract is missing.