Jonghun Park Spyros A. Reveliotis Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive resource Allocation Systems. 70-76 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#ParkR01