@inproceedings{AnImprovedFailuresModel,
  author = "A. W. Roscoe and S.D. Brookes",
  booktitle = "Proceedings of the {Pittsburgh} seminar on concurrency",
  number = "197",
  pages = "281--305",
  publisher = "Springer",
  series = "LNCS",
  title = "An improved failures model for communicating processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/9.pdf",
  year = "1985",
}