Static Livelock Analysis in CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell. Static Livelock Analysis in CSP. In Joost-Pieter Katoen, Barbara König, editors, CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings. Volume 6901 of Lecture Notes in Computer Science, pages 389-403, Springer, 2011. [doi]

This author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'Hristina Palikareva' in GoogleThis author has not been identified. Look up 'A. W. Roscoe' in GoogleThis author has not been identified. Look up 'James Worrell' in Google

runs on WebDSL