Author:
Li Jing,He Jifeng,Zhu Huibiao,Pu Geguang
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tracking CSP computations;Journal of Logical and Algebraic Methods in Programming;2019-01
2. A Survey of Formalization Approaches to Service Composition;2014 IEEE International Conference on Services Computing;2014-06
3. Model-Driven Approaches to Service Composition;International Journal of Adaptive, Resilient and Autonomic Systems;2013-10
4. Model-driven approach supporting formal verification for web service composition protocols;Journal of Network and Computer Applications;2013-07
5. Discrete Event Models for Web Service Processes;2012