Fast, centralized detection and resolution of distributed deadlocks in the generalized model | IEEE Journals & Magazine | IEEE Xplore