Static Livelock Analysis in CSP.

Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Browse the full CONCUR paper archive.