Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs | IEEE Conference Publication | IEEE Xplore