On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models.

D. Manivannan Mukesh Singhal On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. 309-314 2003 conf/ISCApdcs/2003 ISCA PDCS db/conf/ISCApdcs/ISCApdcs2003.html#ManivannanS03