Text File

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.