TY  - RPRT
TI  - A Static Analysis Framework for Livelock Freedom in CSP
AU  - Joel Ouaknine
AU  - Hristina Palikareva
AU  - A. W. Roscoe
AU  - James Worrell
PY  - 2013
DO  - 10.2168/lmcs-9(3:24)2013
UR  - https://arxiv.org/abs/1304.7394
ID  - 1304.7394
ER  -