Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach. - Mehrdad Ghorbani; Seyed Morteza Babamir (Concurr. Comput. Pract. Exp., 2020)