César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill. Efficient distributed deadlock avoidance with liveness guarantees. In Sang Lyul Min, Wang Yi, editors, Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. pages 12-20, ACM, 2006. [doi]
Abstract is missing.