Towards an efficient probabilistic deadlock detection method for multidatabase systems | IEEE Conference Publication | IEEE Xplore