Type Checking Choreography Description Language.

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu

Browse the full ICFEM paper archive.