An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model | IEEE Conference Publication | IEEE Xplore