@inproceedings{DeadlockAnalysis,
  author = "A. W. Roscoe and S.D. Brookes",
  booktitle = "{Logics and Models of Concurrent Systems}",
  editor = "K.R. Apt",
  pages = "305--324",
  publisher = "Springer",
  series = "NATO ASI series F",
  title = "Deadlock analysis in networks of communicating processes",
  volume = "13",
  year = "1985",
}