Finding Deadlocks in Cache-Coherent Distributed Shared Memory Machines by Boon S. Ang and Derek Chiou