The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs'. Together they form a unique fingerprint.

    Engineering & Materials Science