Pemadeep Ramsokul, Arcot Sowmya. An Adaptable Formal Model for Web Services Protocols. In International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius. pages 40, IEEE Computer Society, 2007. [doi]
Abstract is missing.