@misc{indiciae41328f92595b,
  title = {A Static Analysis Framework for Livelock Freedom in CSP},
  author = {Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell},
  year = {2013},
  doi = {10.2168/lmcs-9(3:24)2013},
  url = {https://arxiv.org/abs/1304.7394},
  note = {Source identifier: 1304.7394}
}