Detecting Race Conditions in Parallel Programs that Use Semaphores

Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu. Detecting Race Conditions in Parallel Programs that Use Semaphores. Algorithmica, 35(4):321-345, 2003. [doi]

Authors

Philip N. Klein

This author has not been identified. Look up 'Philip N. Klein' in Google

Robert H. B. Netzer

This author has not been identified. Look up 'Robert H. B. Netzer' in Google

Hsueh-I Lu

This author has not been identified. Look up 'Hsueh-I Lu' in Google