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 is missing.