Yitao Ni, Lu Zhang, Zhongjie Li, Tao Xie, and Hong Mei, "Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs," Proceedings of IEEE Services Computing Conference (SCC 2011), 4-7 July 2011, pp. 209-217.

 

@inproceedings{YitaoNiSCC11,

  author    = {Yitao Ni and Lu Zhang and Zhongjie Li and Tao Xie and Hong Mei},

  title     = {Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs},

  booktitle = {Proc. of IEEE SCC},

  year      = {2011},

  pages     = {209-217}

}