Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs.

Kuo-Chung Tai Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs. 69-72 1994 ICPP db/conf/icpp/icpp1994-2.html#Tai94