Re^2: CSP

Article View: comp.lang.misc

Article #6528

#6528

From: "Steve" Stevenson
Date: Fri, 15 Dec 1989 19:50

12 lines
1011 bytes

>grichard@hockey.cis.ohio-state.edu (Golden Richard) writes:

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

Try INMOS's occam II or (I hear soon available) occam III. You might also
contact the folks at Univ. of North Carolina, Chapel Hill -- they did
an implementation on some time back (also try mark@clemson.edu)
-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

Technical Details

Message-ID: <7464@hubcap.clemson.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!emory!hubcap!steve

References: <74850@tut.cis.ohio-state.edu> <1989Dec11.140635.8461@cs.eur.nl> <6229@nigel.udel.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.misc
Subject: Re^2: CSP
Message-ID: <7464@hubcap.clemson.edu>
Date: 15 Dec 89 19:50:58 GMT
References: <74850@tut.cis.ohio-state.edu> <1989Dec11.140635.8461@cs.eur.nl> <6229@nigel.udel.EDU>
Organization: Clemson University, Clemson, SC
Lines: 12

Reply to Parent Message