Geguang Pu Yongxin Zhao Zheng Wang Libo Feng Huibiao Zhu Jifeng He A Denotational Model for Web Services Choreography. 1-12 2008 ICDCIT http://dx.doi.org/10.1007/978-3-540-89737-8_1 conf/icdcit/2008 db/conf/icdcit/icdcit2008.html#PuZWFZH08