Distributed deadlock detection and resolution based on hardware clocks | IEEE Conference Publication | IEEE Xplore