Using ordered and atomic multicast for distributed deadlock prevention | IEEE Conference Publication | IEEE Xplore