%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 }