Optimal detection and resolution of distributed deadlocks in the generalized model | IEEE Conference Publication | IEEE Xplore