Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus.

Jindian Su, Shanshan Yu, Heqing Guo

Browse the full EUC paper archive.