Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 3 Oct 1994 10:44:05 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA21685;
          Mon, 3 Oct 1994 03:39:44 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from eagle.eng.warwick.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA21681;
          Mon, 3 Oct 1994 03:39:40 -0600
Received: from eng.warwick.ac.uk by eagle.eng.warwick.ac.uk with SMTP 
          id KAA24948; Mon, 3 Oct 1994 10:33:40 +0100
From: es774@eng.warwick.ac.uk
Message-Id: <13494.9410030933@eng.warwick.ac.uk>
Subject: Re: CSP-Library
To: Othmene.Ait-Mohamed@loria.fr (Otmane Ait Mohamed)
Date: Mon, 3 Oct 94 10:33:41 BST
Cc: info-hol@leopard.cs.byu.edu (info-hol)
In-Reply-To: <199410030917.KAA02624@brassac.loria.fr>; from "Otmane Ait Mohamed" at Oct 3, 94 10:17 am
X-Mailer: ELM [version 2.3 PL8]

>
>
> Hi, Karim,
>
> Is there any documentation available for this library?
>
>  @ARTICLE{CamilleriCSP90,
> 	AUTHOR = {Camilleri , A. J.},
> 	TITLE = {Mechanizing CSP Trace Theory in Higher Order Logic},
> 	JOURNAL ={IEEE Transactions On Software Engineering} ,
> 	YEAR = {1990},
> 	VOLUME = {16},
> 	NUMBER = {9},
> 	PAGES = {993-1004},
> 	MONTH = {},
> 	NOTE = {}
> }
>
> >Does anybody know the adderess of the author?
>
> The address of the author is:
>       ac@hprpcd.rose.hp.com
>
>
> Otmane AIT MOHAMED
>
>

Thank you Mr. Mohamed

Karim
>
>
>
>
>
>
>
>
>
>
>
>
>
> ******************************************************************************
> *  Otmane   AIT MOHAMED                                                      *
> *  E.Mail : amohamed@loria.fr                                                *
> *  Post   : CRIN-INRIA_LORRAINE                                              *
> *           Campus Universitaire                                             *
> *           BP. 101. 54506 Villers-les-Nancy. France.                        *
> *  Tel    : 83 59 20 23                                                      *
> ******************************************************************************
>