Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!chaos.cs.brandeis.edu!nm
From: nm@chaos.cs.brandeis.edu (Nicolas Mercouroff)
Newsgroups: comp.parallel
Subject: Re: A static analyzer of CSP on the Macintosh
Keywords: CSP, OCCAM, Macintosh, parallelism
Message-ID: <1991Jun25.220015.11129@hubcap.clemson.edu>
Date: 25 Jun 91 17:15:32 GMT
References: <1991Jun21.171541.20448@hubcap.clemson.edu>
Sender: usenet@news.cs.brandeis.edu
Organization: Brandeis University
Lines: 68
Approved: parallel@hubcap.clemson.edu
To: comp-parallel%uunet.uucp@uunet.UU.NET

I write:


>-----------------------------------------------------------------------------
>	AStICo: A static analyzer of communicating 
>		processes on the Macintosh
>-----------------------------------------------------------------------------
> ....et cetera

Unfortunaly, my post had been cut by the moderator. If you want to try
AStICo on any Macintosh, just drop me a line (nm@cs.brandeis.edu), and I
will send you the binary source by mail. You can also send me a mail if you 
want a copy of my research report ``An Algorithm for Analyzing Communicating
Processes.''

-Nicolas Mercouroff		nm@cs.brandeis.edu
 Dept. of Computer Sciences, Brandeis University, Waltham, MA 02154
 My home: P.O. Box 390929, Cambridge, MA 02139, USA