Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book
%1 hoare1985communicating
%A Hoare, C. A. R.
%B Prentice-Hall International Series in Computer Science
%C Englewood Cliffs, New Jersey
%D 1985
%I Prentice-Hall International
%K 68-02-computer-science-research-exposition 68n01-software-general 68q45-formal-languages-and-automata 68q65-abstract-data-types-algebraic-specification 68q85-models-and-methods-for-concurrent-and-distributed-computing
%T Communicating Sequential Processes
%U http://www.usingcsp.com/cspbook.pdf
@book{hoare1985communicating,
added-at = {2023-06-15T08:47:29.000+0200},
address = {Englewood Cliffs, New Jersey},
author = {Hoare, C. A. R.},
biburl = {https://www.bibsonomy.org/bibtex/2322c73e888e1e6f2ab4df3ab48682541/gdmcbain},
interhash = {c57cff814bc63114c11e24864df0649c},
intrahash = {322c73e888e1e6f2ab4df3ab48682541},
keywords = {68-02-computer-science-research-exposition 68n01-software-general 68q45-formal-languages-and-automata 68q65-abstract-data-types-algebraic-specification 68q85-models-and-methods-for-concurrent-and-distributed-computing},
publisher = {Prentice-Hall International},
series = {Prentice-Hall International Series in Computer Science},
timestamp = {2023-06-16T05:20:15.000+0200},
title = {{Communicating Sequential Processes}},
url = {http://www.usingcsp.com/cspbook.pdf},
year = 1985
}