Research / Teaching Related Links
- 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 book, by Hoare and He: (email me for more information)
- JCSP - CSP for Java
- occam-pi - blending the best of CSP and the pi-calculus
- Other parallel and distributed computing links
- Berkeley UPC - Unified Parallel C
- CUDA - NVidia’s general purpose parallel computing architecture
- Teaching first-year computer science:
- TeachScheme, ReachJava! - The silent revolution changing computer science education
- How to Design Programs - An Introduction to Programming and Computing - online textbook
- HtDP/2e - Draft: online work in progress
- PLT Scheme - Includes the DrScheme programming environment
