An Approach to Check Choreography with Channel Passing in WS-CDL.

Chao Cai, Zongyan Qiu

Browse the full ICWS paper archive.