Reasoning on Formalizing WS-CDL Mobility Using Process Algebra

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]

Authors

Nduwimfura Philbert

This author has not been identified. Look up 'Nduwimfura Philbert' in Google

Dong Xu

This author has not been identified. Look up 'Dong Xu' in Google

Huaikou Miao

This author has not been identified. Look up 'Huaikou Miao' in Google

Zhou Lei

This author has not been identified. Look up 'Zhou Lei' in Google

Bo Chen

This author has not been identified. Look up 'Bo Chen' in Google