Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ncar!gatech!hubcap!thhj
From: thhj@imada.dk (Hjelm Thomas)
Newsgroups: comp.parallel
Subject: Re: Heard about any good texts lately ....?
Message-ID: <5321@hubcap.clemson.edu>
Date: 28 Apr 89 14:07:45 GMT
Sender: fpst@hubcap.clemson.edu
Lines: 12
Approved: parallel@hubcap.clemson.edu

Hope I got your question right. A very popular and recent book is

"Parallel Program Design, A Foundation" by Chandy and Misra, from 
Addison Wesley.

The book contains a lot of examples of algorithms (mostly traditional)
implemented and desriped in a way that allows implementation as well as
proof of correct behavior on a lot of different (parallel) architectures.

The book is very theoretical and it takes a lot to understand how to prove
the algorithms, but since it is used on very many universities throughout
the world, I guess it must be good.