Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"
From MaRDI portal
Publication:4540370
DOI10.1109/9.917717zbMath1136.90342MaRDI QIDQ4540370
Mark A. Lawley, Jonghun Park, Placid M. Ferreira, Spyros A. Reveliotis
Publication date: 21 July 2002
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.917717
90C90: Applications of mathematical programming
90C60: Abstract computational complexity for mathematical programming problems
90B30: Production models
Related Items