Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR)

Daniel Yuh Chao. Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR). J. Inf. Sci. Eng., 25(6):1963-1978, 2009. [doi]

Abstract

Abstract is missing.