Ouri Wolfson, Mihalis Yannakakis. Deadlock-Freedom (and Safety) of Transactions in a Distributed Database. In Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon. pages 105-112, ACM, 1985. [doi]
Abstract is missing.