A Dynamic Deadlock Detection/Resolution Algorithm with Linear Message Complexity | IEEE Conference Publication | IEEE Xplore