Reasoning about Channel Passing in Choreography - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu. Reasoning about Channel Passing in Choreography. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 135-142, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Hongli Yang' in GoogleThis author has not been identified. Look up 'Chao Cai' in GoogleThis author has not been identified. Look up 'Liyang Peng' in GoogleThis author has not been identified. Look up 'Xiangpeng Zhao' in GoogleThis author has not been identified. Look up 'Zongyan Qiu' in Google

runs on WebDSL