Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs | IEEE Conference Publication | IEEE Xplore