@article{DBLP:conf/concur/OuakninePRW11,
  title = "Static Livelock Analysis in CSP",
  author = "Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell",
  year = "2011",
  booktitle = "CONCUR",
  crossref = "DBLP:conf/concur/2011",
  journal = "Proc. 22nd International Conference on Concurrency Theory 2011 (CONCUR 2011)",
  month = "September",
  note = "Winner of the CONCUR 2011 Best Paper Award.",
  pages = "389-403",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hristina.palikareva/publications/slap11.pdf",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_26",
}