A safe distributed deadlock resolution algorithm for the OR request model | IEEE Conference Publication | IEEE Xplore