Detecting Race Conditions in Parallel Programs that Use One Semaphore.

Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer

Browse the full WADS paper archive.