Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs (1994)

by K-C Tai
Venue:In Proc. of ICPP’94. IEEE