Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer. Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). In Josep Díaz, Maria J. Serna, editors, Algorithms - ESA 96, Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996, Proceedings. Volume 1136 of Lecture Notes in Computer Science, pages 445-459, Springer, 1996.
Abstract is missing.