Access Restriction

Author Brookes, S. D. ♦ Hoare, C. A. R. ♦ Roscoe, A. W.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Copyright Year ©1984
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Abstract A mathematical model for communicating sequential processes isgiven, and a number of its interesting and useful properties arestated and proved. The possibilities of nondetermimsm are fullytaken into account.
ISSN 00045411
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1984-06-01
Publisher Place New York
e-ISSN 1557735X
Journal Journal of the ACM (JACM)
Volume Number 31
Issue Number 3
Page Count 40
Starting Page 560
Ending Page 599

Open content in new tab

   Open content in new tab
Source: ACM Digital Library