@article{6204,
  title = "A Static Analysis Framework for Livelock Freedom in CSP",
  author = "Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell",
  year = "2012",
  booktitle = "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.",
}