@article{Hoare84j,
  title = "A Theory of Communicating Sequential Processes",
  author = "S.D. Brookes and C.A.R. Hoare and A.W. Roscoe",
  year = "1984",
  journal = "Journal of the ACM",
  month = "July",
  number = "3",
  pages = "560--599",
  volume = "31",
}