Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!hockey.cis.ohio-state.edu!grichard
From: grichard@hockey.cis.ohio-state.edu (Golden Richard)
Newsgroups: comp.lang.misc
Subject: CSP
Message-ID: <74850@tut.cis.ohio-state.edu>
Date: 8 Dec 89 20:48:38 GMT
Sender: news@tut.cis.ohio-state.edu
Reply-To: Golden Richard <grichard@cis.ohio-state.edu>
Organization: Ohio State University Computer and Information Science
Lines: 11


I'm looking for an implementation of a (super?)set of Hoare's
CSP notation.  It need be neither distributed nor very robust.

If anyone has a CSP (and related topics) reading list lying around, a copy 
via Email would be much appreciated.   Thanks in advance.


-=-
Golden Richard III        OSU Department of Computer and Information Science
grichard@cis.ohio-state.edu         "I'm absolutely positive!  ...or not."