Reasoning about Channel Passing in Choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu

Browse the full TASE paper archive.