@misc{W2176300081,
  author = {C. A. R. Hoare},
  title = {Communicating Sequential Processes},
  year = {1978},
  doi = {https://doi.org/10.1007/978-1-4757-3472-0\_16}
}