A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings | IEEE Conference Publication | IEEE Xplore