Automatic detection of multi-level deadlocks in distributed transaction management systems | IEEE Conference Publication | IEEE Xplore