@article{DeadlockAnalysis2,
  title = "Deadlock analysis in networks of communicating processes",
  author = "A. W. Roscoe and S.D. Brookes",
  year = "1991",
  journal = "Distributed Computing",
  number = "4",
  pages = "209--230",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/30.pdf",
}