TY  - SER
AU  - Reveliotis, Spiridon A. [and other]
TI  - Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
KW  - AUTOMATIC CONTROL
KW  - CONTROL SYSTEMS
ER  -