Proof techniques for distributed algorithms for deadlock handling | IEEE Conference Publication | IEEE Xplore