Skip to main content

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