Re: CSP

Article View: comp.lang.misc

Article #779

#779

From: Reino de Boer
Date: Mon, 11 Dec 1989 14:06

14 lines
860 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.

>If anyone has a CSP (and related topics) reading list lying around, a copy 
>via Email would be much appreciated.   Thanks in advance.

Me too please,
thanks -- Reino
-- 
Reino R. A. de Boer
Erasmus University Rotterdam ( Informatica )
e-mail: reino@cs.eur.nl

Technical Details

Message-ID: <1989Dec11.140635.8461@cs.eur.nl>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!uunet!mcsun!hp4nl!eurtrx!euraiv1!reino

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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!uunet!mcsun!hp4nl!eurtrx!euraiv1!reino
From: reino@cs.eur.nl (Reino de Boer)
Newsgroups: comp.lang.misc
Subject: Re: CSP
Message-ID: <1989Dec11.140635.8461@cs.eur.nl>
Date: 11 Dec 89 14:06:35 GMT
References: <74850@tut.cis.ohio-state.edu>
Organization: Erasmus Universiteit Rotterdam, dept. CS (Informatica)
Lines: 14

Reply to Parent Message