@article{PursuitDeadlockFreedom,
  title = "The pursuit of deadlock freedom",
  author = "A. W. Roscoe and Naiem Dathi",
  year = "1987",
  journal = "{Information and Computation}",
  month = "December",
  number = "3",
  pages = "289--327",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/18.ps",
  volume = "75",
}