PaJu98d

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.

SCOPUS

link