External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. In George Eleftherakis, Mike Hinchey, Mike Holcombe, editors, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Volume 7504 of Lecture Notes in Computer Science, pages 172-187, Springer, 2012. [doi]

Authors

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Qiwen Xu

This author has not been identified. Look up 'Qiwen Xu' in Google

Chris Ma

This author has not been identified. Look up 'Chris Ma' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google

Zongyan Qiu

This author has not been identified. Look up 'Zongyan Qiu' in Google
runs on