Newsgroups: comp.parallel.pvm
From: Georg Stellner <stellner@informatik.tu-muenchen.de>
Subject: Re: rechrche documents failsafePVM et cocheck
Organization: Technische Universitaet Muenchen
Date: Tue, 05 Mar 1996 17:44:26 +0100
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <313C6F6A.223C@informatik.tu-muenchen.de>

Djemai.Kebbal wrote:
> 
> Summary:
> Keywords:
> 
> I search documentation and package of failsafePVM and cocheck, please can you send me    or tell me where I can find it
> thank you .
FailsafePVM has been done at Carnegie Mellon university. There is a 
technical report which can be ftped or webed from their servers. Some
time ago there was also something on the web page of the author at:

http://www.cs.cmu.edu/~jl

I haven't accessed that page recently, so I don't know if it's still
there.

Some information about CoCheck (including the source code and a user
guide) can be obtained from our official homepage at:

http://wwwbode.informatik.tu-muenchen.de/CoCheck

If you have some further questions about CoCheck please do not refain
from contacting me directly via email.

Cheers, Georg

-- 
Georg Stellner
stellner@informatik.tu-muenchen.de+------------
Institut fuer Informatik, SAB    phone:  +49-89-2105-2689          |
(())_-_(())
Technische Universitaet Muenchen fax:    +49-89-2105-8232          |  |
(* *) |
D-80290 Muenchen                 room:   S 1211                    | {
\_@_/  }
http://wwwbode.informatik.tu-muenchen.de/~stellner                 |
`-----'

