Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!mordor!sri-spam!rutgers!rochester!cornell!svax!siegel
From: siegel@svax.cs.cornell.edu (Alexander Siegel)
Newsgroups: comp.software-eng
Subject: Re: Correctness in parallel and distributed systems.
Message-ID: <1969@svax.cs.cornell.edu>
Date: 31 Jan 88 16:16:03 GMT
References: <899@hubcap.UUCP>
Reply-To: siegel@svax.cs.cornell.edu (Alexander Siegel)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 15

In article <899@hubcap.UUCP> steve@hubcap.UUCP ("Steve" Stevenson) writes:
>I would like to find a reasonably up-to-date bibliography on
>proving parallel programs correct.  I would also like same for
>distributed programs, say for the huge hypercube numerical programs being
>developed.

This is very much an open research problem.  I suspect you will only be
able to find flaky journal articles and miserably out of date texts on
this subject.
-- 
Alex Siegel
(607)255-1165 (Low Bandwidth Audio)
4161 Upson Hall, Cornell University, Ithaca NY  14853 (Hard Copy)
siegel@svax.cs.cornell.edu (ARPAnet)
siegel@CRNLCS (BITNET)
{uw-beaver,ihnp4,decvax,vax135}!cornell!siegel (UUCP)