Document Type

Technical Report

Publication Date

Summer 8-1-1973


As the number of processes and resources increases within a computer system, does the probability of that system's being in deadlock increase or decrease? This paper introduces Probabilistic Automata as a model of computer systems. This allows investigation of the above question for various scheduling algorithms. a theorem is proved which indicates that, within the types of systems considered, the probability of deadlock increases.