@article{ATheoryofCSP,
  author = "A. W. Roscoe and S.D. Brookes and C.A.R. Hoare",
  journal = "{Journal of the ACM}",
  month = "July",
  number = "3",
  pages = "560--599",
  series = "31",
  title = "A theory of communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/4.pdf",
  year = "1984",
}