Re: CSP

Article View: comp.lang.misc

Article #6523

#6523

From: Bill Kinnersley
Date: Thu, 14 Dec 1989 13:36

18 lines
950 bytes

[In "CSP", grichard@cis.ohio-state.edu said:]
: 
: I'm looking for an implementation of a (super?)set of Hoare's
: CSP notation.  It need be neither distributed nor very robust.
: 
Two possibilities:

"A Modula-2 Implementation of CSP", in the June 1987 SIGPLAN notices.

An Occam simulator in C, at one time available for ftp from ucbvax.
Occam, I believe, is designed to look like CSP.


-- 
--Bill Kinnersley
  Physics Department   Montana State University    Bozeman, MT 59717
  INTERNET: iphwk@terra.oscs.montana.edu      BITNET: IPHWK@MTSUNIX1
226 Transfer complete.

Technical Details

Message-ID: <8912141336.AA21246@terra.oscs.montana.edu>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!tut.cis.ohio-state.edu!ucbvax!TERRA.OSCS.MONTANA.EDU!iphwk

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!tut.cis.ohio-state.edu!ucbvax!TERRA.OSCS.MONTANA.EDU!iphwk
From: iphwk@TERRA.OSCS.MONTANA.EDU (Bill Kinnersley)
Newsgroups: comp.lang.misc
Subject: Re: CSP
Message-ID: <8912141336.AA21246@terra.oscs.montana.edu>
Date: 14 Dec 89 13:36:33 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Lines: 18