From: dbc@ecs.soton.ac.uk (Bryan Carpenter)
Subject: Re: Communicating Sequential Processes
Date: 5 Oct 90 15:18:35 GMT [thread overview]
Message-ID: <4351@ecs.soton.ac.uk> (raw)
In-Reply-To: 4344@iitmax.IIT.EDU
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]
--
Send compilers articles to compilers@esegue.segue.boston.ma.us
{ima | spdcc | world}!esegue. Meta-mail to compilers-request@esegue.
prev parent reply other threads:[~1990-10-05 15:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-10-04 3:44 Communicating Sequential Processes Bhupesh Desai
1990-10-05 15:18 ` Bryan Carpenter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox