Resolving distributed deadlocks in the OR request model | IEEE Conference Publication | IEEE Xplore