Efficient distributed deadlock detection and resolution using probes, tokens, and barriers | IEEE Conference Publication | IEEE Xplore