Jin-dian Su, Shan-shan Yu, He-qing Guo. Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus. In Cheng-Zhong Xu, Minyi Guo, editors, 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume I. pages 447-452, IEEE Computer Society, 2008. [doi]
Abstract is missing.