D. Manivannan, Mukesh Singhal. On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. In Seong-Moo Yoo, Hee Yong Youn, editors, Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, August 13-15, 2003, Atlantis Hotel, Reno, Nevada, USA. pages 309-314, ISCA, 2003.
Abstract is missing.