Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.

Longfei Zhu, Qiwen Xu, Huibiao Zhu

Browse the full FedCSIS paper archive.