[CONTACT]

[ABOUT]

[POLICY]

[ADVERTISE]

Aucbvax.fa.bboardutzoo!duke!

Found at: gopher.quux.org:70/Archives/usenet-a-news/FA.arpa-bboard/81.07.07_ucbvax.2141_fa.arpa-bboard.txt

Aucbvax.2141
fa.arpa-bboard
utzoo!duke!decvax!ucbvax!Ing70:network
Tue Jul  7 02:50:11 1981
Date: 6 June 1980 0012-EDT
From: Mathai.Joseph at CMU-10A
To:   ARPANET-BBOARDS at MIT-AI
Subject:  Implementations of Hoare's CSP
Could anyone tell me of any implementations of languages
(substantially) based on Hoare's Communicating Sequential Processes,
which are either working or near completion ??  I am interested in
languages which have definitions close to the (partial) one given by
Hoare in his CACM paper.  Please send mail to Mathai Joseph@CMU-10A.
-----------------------------------------------------------------
 gopher://quux.org/ conversion by John Goerzen <jgoerzen@complete.org>
 of http://communication.ucsd.edu/A-News/
This Usenet Oldnews Archive
article may be copied and distributed freely, provided:
1. There is no money collected for the text(s) of the articles.
2. The following notice remains appended to each copy:
The Usenet Oldnews Archive: Compilation Copyright (C) 1981, 1996 
 Bruce Jones, Henry Spencer, David Wiseman.


AD:

NEW PAGES:

[ODDNUGGET]

[GOPHER]