Longfei Zhu, Qiwen Xu, Huibiao Zhu. Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018. pages 241-247, 2018. [doi]
Abstract is missing.