Concurrency
Communicating Sequential Processes (CSP) Links
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
C++CSP2
– CSP for C++
CHP
– Communicating Haskell Processes
occam-pi
- blending the best of CSP and the pi-calculus
Go
– a CSP-inspired programming language
PAR
package for PARallel composition in Go
Steve Francia - Go: building on the shoulders of giants and stepping on a few toes
Other parallel and distributed computing links
Rinda
(Linda library for Ruby Programming Language)
Berkeley UPC
- Unified Parallel C
CUDA
- NVidia's general purpose parallel computing architecture
Syndicate
- an actors framework for Racket
Racket Doc
Textbooks
Principles of Concurrent and Distributed Programming, 2nd edition
, by Mordechai Ben Ari
The Art of Multiprocessor Programming
, by Maurice Herlihy and Nir Shavit