Return to Article Details Detecting Deadlocks in Concurrent Systems Download Download PDF