n Let C(k,i) be the amount of resource type i
claimed by process k.
n To be admitted in the system, process k
must show C(k,i) for all resource types i
n C(k,i) is the maximum value of resource
type i permitted for process k.
n Let U(i) be the total amount of resource type i
unclaimed in the system:
u U(i) = R(i) - S_k C(k,i)