The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Communicating Sequential Processes

The work

AuthorsC. A. R. Hoare
Editors
Typebook
Year1985
Citekeyhoare1985communicating

Where it appeared

PublisherPrentice-Hall International

Related

Distinct fromhoare1978communicating

How it got here

How it got hereagent via bibtex
Added2026-10-23 21:13 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{hoare1985communicating,
  title        = {Communicating Sequential Processes},
  author       = {C. A. R. Hoare},
  year         = {1985},
  publisher    = {Prentice-Hall International},
}

This record lives at https://refs.drheap.org/hoare1985communicating/ and will keep doing so.