Static Livelock Analysis in CSP
Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell
Book Title
CONCUR
Crossref
DBLP:conf/concur/2011
Journal
Proc. 22nd International Conference on Concurrency Theory 2011 (CONCUR 2011)
Month
September
Note
Winner of the CONCUR 2011 Best Paper Award.
Pages
389−403
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6901
Year
2011