Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao. Patterns with Algebraic Properties in BPEL0. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 363-370, IEEE, 2006. [doi]
@inproceedings{PuZHQYZ06,
title = {Patterns with Algebraic Properties in BPEL0},
author = {Geguang Pu and Huibiao Zhu and Jifeng He and Zongyan Qiu and Hongli Yang and Xiangpeng Zhao},
year = {2006},
doi = {10.1109/ISoLA.2006.57},
url = {http://dx.doi.org/10.1109/ISoLA.2006.57},
tags = { algebra},
researchr = {https://researchr.org/publication/PuZHQYZ06},
cites = {0},
citedby = {0},
pages = {363-370},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
publisher = {IEEE},
}