Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).

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

Browse the full ESA paper archive.