Analysis of Web Service Substitutability Based on Typed Pi-Calculus.

Jindian Su, Shanshan Yu, Heqing Guo

Browse the full EUC paper archive.