Bixin Li, Yu Zhou, Ying Zhou, Xufang Gong. A Formal Model for Web Service Composition and Its Application Analysis. In Jie Li, Minyi Guo, Qun Jin, Yongbing Zhang, Liang-Jie Zhang, Hai Jin, Masahiro Mambo, Jiro Tanaka, Hiromu Hayashi, editors, Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan. pages 204-210, IEEE, 2007. [doi]
Abstract is missing.