A Static Analysis Framework for Livelock Freedom in CSP
Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell
Book Title
Special Issue on the 22nd Conference on Concurrency Theory (CONCUR'11)
Editor
Joost−Pieter Katoen and Barbara Koenig
Journal
Logical Methods in Computer Science
Note
To appear.
Year
2012