Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"

Jonghun Park, Spyros A. Reveliotis, Mark A. Lawley, Placid M. Ferreira. Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems". IEEE Trans. Automat. Contr., 46(4), 2001. [doi]

Abstract

Abstract is missing.