@misc{W4211008702,
  author = {C. A. R. Hoare},
  title = {Communicating sequential processes},
  year = {1978},
  howpublished = {Communications of the ACM},
  doi = {https://doi.org/10.1145/359576.359585}
}