[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Reasoning about Channel Passing in Choreography
Yang, Hongli, Cai, Chao, Peng, Liyang, Zhao, Xiangpeng, Qiu, ZongyanYear:
2008
Language:
english
DOI:
10.1109/tase.2008.19
File:
PDF, 198 KB
english, 2008