Fangfang Liu Yuliang Shi Liang Zhang Lili Lin Baile Shi Analysis of Web Services Composition and Substitution Via CCS. 236-245 2006 conf/deec/2006 DEECS http://dx.doi.org/10.1007/11780397_19 db/conf/deec/deecs2006.html#LiuSZLS06