Journal article icon

Journal article

A Static Analysis Framework for Livelock Freedom in CSP

Actions


Authors


Joel Ouaknine More by this author
Hristina Palikareva More by this author
A.W. Roscoe More by this author
James Worrell More by this author

Contributors

Role:
Editor
Journal:
Logical Methods in Computer Science
Publication date:
2012
URN:
uuid:9b940972-caf0-42ab-a542-7c84a3086d7d
Local pid:
cs:6204

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP