ShuiGuang Deng Zhaohui Wu Mengchu Zhou Ying Li Jian Wu Modeling Service Compatibility with Pi-calculus for Choreography. 26-39 2006 conf/er/2006 ER http://dx.doi.org/10.1007/11901181_4 db/conf/er/er2006.html#DengWZLW06