Chao Cai Zongyan Qiu An Approach to Check Choreography with Channel Passing in WS-CDL. 700-707 2008 ICWS http://dx.doi.org/10.1109/ICWS.2008.46 conf/icws/2008 db/conf/icws/icws2008.html#ChaoZ08