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

Kuo-Chung Tai

Browse the full ICPP paper archive.