Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang. Correct Channel Passing by Construction. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 338-354, Springer, 2008. [doi]
Abstract is missing.