Reveliotis, Spiridon A. [and other] Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems Subjects--Topical Terms: AUTOMATIC CONTROLCONTROL SYSTEMS Universal Decimal Class. No.: H681.5 AUT