# Workload properties in general(Bramson-W, ‘00)

## (Special case: Harrison-Lopez ‘99, P=0 and L=1)

## Theorem 2: Assume BAB: each buffer is served by at least one basic activity. Then all of the entries of are non-negative.

## Device: expand P to a JxJ matrix by formally associating a basic activity with each buffer. Then