Jing Zhou, Guosun Zeng. Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus. In Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings. pages 490-493, IEEE Computer Society, 2006. [doi]
Abstract is missing.