1
by Moody, John O., Antsaklis, Panos J.
Published 1998
Springer US
Table of Contents: ... Resources -- 6.2 Conditions for Liveness -- 6.3 Deadlock Avoidance -- 7. Other Control Specifications -- 7.1...