[comp.lang.misc] Re^2: CSP

steve@hubcap.clemson.edu ("Steve" Stevenson) (12/16/89)

>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