Newsgroups: comp.parallel
From: comp.parallel moderator
Subject: "Communicating Sequential Processes" of C.A.R. Hoare
CACM is a journal which should be available to you.
Looking at the basic reference, it's cited in two other bibliographies,
and has two recommendations from 1991, but better see the book
(following reference):
%A C. A. R. Hoare
%T Communicating Sequential Processes
%J Communications of the ACM
%V 21
%N 8
%P 666-677
%D August 1978
%K bhibbard
%K grecommended91,
%K hcc, ak,
%K programming, programming languages, programming primitives,
program structures, parallel programming, concurrency, input, output,
guarded commands, nondeterminacy, coroutines, procedures, multiple entries,
multiple exits, classes, data representations, recursion,
conditional critical regions, monitors, iterative arrays, CSP,
CR categories: 4.20, 4.22, 4.32
maeder biblio: synchronisation and concurrency in processes,
parallel programming,
%K Guarded commands, parbegin, synchronous message-passing.
%X This paper is now expanded into an excellent book detailed by Hoare
and published by Prentice-Hall.
This paper is reproduced in Kuhn and Padua's (1981, IEEE)
survey "Tutorial on Parallel Processing."
Reproduced in "Distributed Computing: Concepts and Implementations" edited by
McEntire, O'Reilly and Larson, IEEE, 1984.
%X Somewhat dated.
%X Hoare's original CSP paper; not very mathematical.
(wow, the book, far more readable, even got three votes
(one from the first moderator!) and five comments)
%A C. A. R. Hoare
%T Communicating Sequential Processes
%I Prentice-Hall
%C Englewood Cliffs, NJ
%D 1985
%O ISBN 0-13-153271-5 & 0-13-153289-8
%K book, text, CSP, parallel processing,
%K grecommended91,
%K hcc, fpst, jb,
%K process migration,
%X A better book than the original CSP papers. Hoare comes down to
earth and tries to give concrete examples of CSP notation. Still
has some problems.
%X Somewhat esoteric.
%X Must reading for those interested in distributed processing. High
level discussions of various operators one might think about in the
message passing realm. Discusses failures.
%X This defines CSP, upon which occam is based. REAL parallelism here!
Very theoretical. Must read for serious parallelism students!
%X This describes the mathematical foundation for languages like occam.
It's very well written and readable and is an "important" work for
anyone concerned with the mathematics of programming.
--enm