Y. C. Tay What is a Deadlock? 49-60 1993 conf/ifip10-3/1993dds Decentralized and Distributed Systems db/conf/ifip10-3/dds1993.html#Tay93