Li Kuang, Yingjie Xia, ShuiGuang Deng, Jian Wu. Analyzing Behavioral Substitution of Web Services Based on Pi-calculus. 17th IEEE International Conference on Web Services (441-448), Miami, Florida, USA, 2010.7.5-7.10
发布时间：2016-04-10
点击次数：
是否译文：否
上一条： Li Kuang#, Liang Chen. A Framework for Criteria for the Behavioral Equivalence of Services. Applied Mathematics & Information Sciences, 2011, 5(2):1-7
下一条： Yingjie Xia, Li Kuang, Mingzhe Zhu. A Hierarchical Access Control Scheme in Cloud using HHECC. Information Technology Journal, 2010, 9(8):1598~1606