Predicting potential deadlocks in multithreaded programs. - Seyed Morteza Babamir; Elmira Hassanzade; Mona Azimpour (Concurr. Comput. Pract. Exp., 2015)