An abortion-free distributed deadlock detection/resolution algorithm | IEEE Conference Publication | IEEE Xplore