Hui Kang, Jie Pu, Xiuli Yang. Translating WSDL to Pi Calculus Based Model for Web Services. In Hamid R. Arabnia, editor, Proceedings of the 2007 International Conference on Semantic Web & Web Services, SWWS 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 166-174, CSREA Press, 2007.