Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!udel!new
From: new@udel.edu (Darren New)
Newsgroups: comp.lang.misc
Subject: Re: CSP
Message-ID: <6229@nigel.udel.EDU>
Date: 15 Dec 89 18:02:02 GMT
References: <74850@tut.cis.ohio-state.edu> <1989Dec11.140635.8461@cs.eur.nl>
Sender: usenet@udel.EDU
Reply-To: new@udel.edu (Darren New)
Organization: University of Delaware
Lines: 9

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.

You may want to look into a language called LOTOS.
Protocol people use it to specify network protocols among other
things.  It's based on CSP and ACT-ONE.  Ask on the networks groups
for researchers with interpreters for it.    -- Darren