Detecting Unaffected Message Races in Parallel Programs

Mi-Young Park, Yong-Kee Jun. Detecting Unaffected Message Races in Parallel Programs. In Yeh-Ching Chung, José E. Moreira, editors, Advances in Grid and Pervasive Computing, First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings. Volume 3947 of Lecture Notes in Computer Science, pages 187-196, Springer, 2006. [doi]

Abstract

Abstract is missing.