Detection of first races for debugging message-passing programs

Mi-Young Park, Sang-Hwa Chung. Detection of first races for debugging message-passing programs. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 261-266, IEEE, 2008. [doi]

Abstract

Abstract is missing.