Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables (2006)

by R Agarwal, S D Stoller
Venue:In PADTAD