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
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
Textbooks
- Principles of Concurrent and Distributed Programming, 2nd edition, by Mordechai Ben Ari
- The Art of Multiprocessor Programming, by Maurice Herlihy and Nir Shavit