Definitions and detection of deadlock, livelock, and starvation in concurrent programs (1994)

by K C Tai
Venue:Proc. 1994 Inter. Conf. Parallel Processing