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

Klein, Philip N.Philip N.KleinLu, Hsueh-IHsueh-ILuNetzer, Robert H. B.Robert H. B.NetzerHSUEH-I LU2020-05-042020-05-041996https://scholars.lib.ntu.edu.tw/handle/123456789/488656Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).conference paper10.1007/3-540-61680-2_74https://doi.org/10.1007/3-540-61680-2_74