Detecting the First Races in Parallel Programs with Ordered Synchronization
Full Title
Park, H., and Y. Jun, "Detecting the First Races in Parallel Programs with Ordered Synchronization," Proc. of the 6th Int'l Conf. on Parallel and Distributed Systems (ICPADS), pp. 201-208, IEEE, Tainan, Taiwan, Dec. 1998.