Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TLS the Erlang/OTP Way (Experience Report);Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30
2. Deadlock Detection Examples: The Dedan Environment at Work;Studies in Computational Intelligence;2019-03-17
3. Introduction;Studies in Computational Intelligence;2019-03-17
4. Dynamic Livelock Analysis of Multi-threaded Programs;Runtime Verification;2013
5. A design methodology for verified web-service mediators;Computing;2012-11-23