A modified priority based probe algorithm for distributed deadlock detection and resolution | IEEE Journals & Magazine | IEEE Xplore