Algebraic deadlock avoidance policies for conjunctive/disjunctive resource allocation systems | IEEE Conference Publication | IEEE Xplore