From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,HEADER_SPAM, INVALID_DATE,MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Xref: utzoo comp.compilers:1357 comp.lang.ada:4385 comp.lang.misc:5553 Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!mintaka!spdcc!esegue!compilers-sender From: dbc@ecs.soton.ac.uk (Bryan Carpenter) Newsgroups: comp.compilers,comp.lang.ada,comp.lang.misc Subject: Re: Communicating Sequential Processes Keywords: CSP, Compilers, Interpreter, Occam Message-ID: <4351@ecs.soton.ac.uk> Date: 5 Oct 90 15:18:35 GMT References: <4344@iitmax.IIT.EDU> Sender: compilers-sender@esegue.segue.boston.ma.us Reply-To: dbc@ecs.soton.ac.uk (Bryan Carpenter) Organization: University of Southampton, UK List-Id: 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 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.