Path: utzoo!mnetor!uunet!husc6!bbn!gatech!hubcap!steve
From: steve@hubcap.UUCP ("Steve" Stevenson)
Newsgroups: comp.software-eng
Subject: Correctness in parallel and distributed systems.
Message-ID: <899@hubcap.UUCP>
Date: 29 Jan 88 14:33:25 GMT
Organization: Clemson University, Clemson, SC
Lines: 12

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.

Thanks.

~r .signature
-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906