Modeling Service Composition Using Priced Probabilistic Process Algebra. - Lizhong Tu; Fangxiong Xiao; Zhiqiu Huang (SOSE, 2010)