Yusuka Nonaka Kazuo Ushijima Hibiki Serizawa Shigeru Murata Jingde Cheng A Run-Time Deadlock Detector for Concurrent Java Programs. 45-52 2001 conf/apsec/2001 APSEC http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080045abs.htm db/conf/apsec/apsec2001.html#NonakaUSMC01