Analysis of WS-BPEL Processes in PRISM.

Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu

Browse the full TASE paper archive.