A Denotational Model for Web Services Choreography.

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He

Browse the full ICDCIT paper archive.