Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman. A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. In Jong Hyuk Park, Hong Shen 0001, Yunsick Sung, Hui Tian, editors, Parallel and Distributed Computing, Applications and Technologies, 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers. Volume 931 of Communications in Computer and Information Science, pages 381-389, Springer, 2018. [doi]
Abstract is missing.