Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen. Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. In 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings. pages 676-682, IEEE Computer Society, 2010. [doi]
Abstract is missing.