Huaikou Miao, Junfeng Wu. Applying Formal Methods to Compositionality Description of Web Service. In International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius. pages 13, IEEE Computer Society, 2007. [doi]
Abstract is missing.