Research Article
Modeling Web Services Composition with Timed Pi Calculus
College of Information Technology, Zhejiang Chinese Medical University, Hangzhou 310053, People�s Republic of China
Jun Liu
College of Information Technology, Zhejiang Chinese Medical University, Hangzhou 310053, People�s Republic of China
Qiong Tang
College of Information Technology, Zhejiang Chinese Medical University, Hangzhou 310053, People�s Republic of China
Yan Wu
College of Information Technology, Zhejiang Chinese Medical University, Hangzhou 310053, People�s Republic of China