Author:
Du Xutao,Xing Chunxiao,Zhou Lizhu
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling Control Flow in WS-BPEL with Chu Spaces;Implementation and Integration of Information Systems in the Service Sector;2013
2. Modeling Control Flow in WS-BPEL with Chu Spaces;International Journal of Information Systems in the Service Sector;2011-10
3. Modeling and Verifying Concurrent Programs with Finite Chu Spaces;Journal of Computer Science and Technology;2010-11