Path: utzoo!mnetor!uunet!steinmetz!macbeth!kerpelma
From: kerpelma@macbeth.steinmetz (dan kerpelman)
Newsgroups: comp.software-eng
Subject: Re: Correctness in parallel and distributed systems.
Message-ID: <9425@steinmetz.steinmetz.UUCP>
Date: 4 Feb 88 13:27:14 GMT
References: <899@hubcap.UUCP> <11071@shemp.UCLA.EDU>
Sender: news@steinmetz.steinmetz.UUCP
Reply-To: kerpelma@macbeth.UUCP (dan kerpelman)
Organization: General Electric CRD, Schenectady, NY
Lines: 18

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 a little old but...

Susan Owicki, David Gries, _Verifying Properties of Parallel Programs: An
Axiomatic Approach_, Communications of the ACM, Volume 19, Number 5, May 1976.
 
---------------------------------------------------------------------------
Dan Kerpelman                         ARPAnet: kerpelman@ge-crd.arpa
GE Corporate R&D                      UUCP   : crd!kerpelman@steinmetz.UUCP
Schenectady, NY                       GEnet  : ctsvax::kerpelman
USA                                   phone  : (518) 387-5086
        "La seule chose que nous avons a craindre, c'est
           que le ciel nous tombe sur la tete!" -Abraracourcix