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