Static Livelock Analysis in CSP
Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell
Details
| 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 |
Links
DOI (10.1007/978-3-642-23217-6_26)
Related pages
|
People |