Translating WSDL to Pi Calculus Based Model for Web Services

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.

Abstract

Abstract is missing.