An o(min(m, n)) parallel deadlock detection algorithm

Jaehwan John Lee, Vincent John Mooney
2005 ACM Transactions on Design Automation of Electronic Systems  
doi:10.1145/1080334.1080341 fatcat:i2xg4tn4zfh7piub6b3nhkjljy