The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu

Browse the full SEFM paper archive.