Re: Communicating Sequential Processes

dbc@ecs.soton.ac.uk (Bryan Carpenter)
5 Oct 90 15:18:35 GMT

          From comp.compilers
Related articles
Communicating Sequential Processes thssbxd@iitmax.iit.edu (1990-10-04)
Re: Communicating Sequential Processes dbc@ecs.soton.ac.uk (1990-10-05)
| List of all articles for this month |
Newsgroups: comp.compilers,comp.lang.ada,comp.lang.misc
From: dbc@ecs.soton.ac.uk (Bryan Carpenter)
Keywords: CSP, Compilers, Interpreter, Occam
Organization: University of Southampton, UK
References: <4344@iitmax.IIT.EDU>
Date: 5 Oct 90 15:18:35 GMT

In <4344@iitmax.IIT.EDU> thssbxd@iitmax.iit.edu (Bhupesh Desai) writes:
>Does any one know of an implementation of the CSP (Communicating Sequential
>Processes Language by C. A. R. Hoare). ...


I don't know of any implementaion of CSP that follows the detailed
notations of, or includes the majority of the features in, the
system described in Hoare's book - but the Occam language developed
by Inmos for Transputers (in collaboration with Hoare) has been
described as "the implemented subset of CSP".
[Dale Worley <worley@compass.com> also noted that Occam is CSP. -John]
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.