WoTUG - The place for Communicating Processes

The classic text: Communicating Sequential Processes (Hoare)

The modern text: Theory and Practice of Concurrency (Roscoe)

Unifying Theories of Programming text, by Hoare and He: UTP

JCSP - CSP for Java

occam-pi - blending the best of CSP and the pi-calculus

Scientific Computing Associates, Inc. - TCP Linda, Paradise, NetworkSpaces

Berkeley UPC - Unified Parallel C

CUDA - NVidia’s general purpose parallel computing architecture

Program by Design - The computer science core of a liberal arts education

How to Design Programs - An Introduction to Programming and Computing - online textbook

Racket - Includes the DrRacket programming environment

WeScheme - Web-based programming environment

How to Design Classes

Objects First with Java