A Theory of Communicating Sequential Processes

@article{csp-jacm31,
   abstract = {A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondetermimsm are fully taken into account.},
   apice = {CspJacm31},
   author = {Stephen D. Brookes and Charles Antony Richard Hoare and Andrew William Roscoe},
   doi = {10.1145/828.833},
   eissn = {1557-735X},
   journal = {Journal of the ACM},
   month = jun,
   number = 3,
   numpages = 40,
   openalex = {W2102097307},
   pages = {560--599},
   publisher = {ACM},
   title = {A Theory of Communicating Sequential Processes},
   url = {https://dl.acm.org/doi/10.1145/828.833},
   volume = 31,
   year = 1984
}