Li Yongxiang
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Yao Xifan
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Xu Xiangmin
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
Jin Hong
School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou, 510640, China
PDF Fulltext XML References Citation
How to cite this article
Li Yongxiang, Yao Xifan, Xu Xiangmin and Jin Hong, 2014. Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus. Information Technology Journal, 13: 1779-1785.
DOI: 10.3923/itj.2014.1779.1785
URL: https://scialert.net/abstract/?doi=itj.2014.1779.1785
DOI: 10.3923/itj.2014.1779.1785
URL: https://scialert.net/abstract/?doi=itj.2014.1779.1785