Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.

Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen

Browse the full APSCC paper archive.