Li Bao, Weishi Zhang, Xiuguo Zhang. Describing and Verifying Web Service Using CCS. In Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan. pages 421-426, IEEE Computer Society, 2006. [doi]
Abstract is missing.