CSP

Article View: comp.lang.misc

Article #778

#778

From: Golden Richard
Date: Fri, 08 Dec 1989 20:48

11 lines
906 bytes

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."

Technical Details

Message-ID: <74850@tut.cis.ohio-state.edu>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!hockey.cis.ohio-state.edu!grichard

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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