Links

Communicating Sequential Processes

• The CSP Archive
• CSP Notation Overview
• A formal definition of priority in CSP
• CSP, PVS and a Recursive Authentication Protocol
• Process Algebra
• Lecture notes about CSP
• Specifying and Checking Java using CSP
• CCSP Homepage - CSP for the C programming language
• CSP - Communicating Sequential Processes
• Visio Stencil for CSP/occam process maps

Compiler developments

• SPOC development

Occam Programming Language

• What is Occam's Razor?
• Introduction to the Programming Language Occam
• Geraint Jone's book Programming in Occam web edition, 2001
• Introduction To Parallel Programming Languages and Occam
• The Occam Archive
• Non-preemptive Occam in DSP RT System
• Recent Developments in the Algebra of Programs
• SPOC extensions for the PIC processor
• Random occam/CSP related things

Transputers

• The Cate Project's Transputer section, embedded controller applications of the transputer, including a new BIOS. (The link from uk is a bit slow).
• Ram's Transputer Home Page - an archive of all things transputer.
• Michael's Transputers can be Fun site.
• Wikipedia "Transputer" definition
• Jonathan Bowen's Transputer Archive
• Transputers - extinct but not forgotten
• PCMCIA Transputer Link Interface card.
• The Transputer Archive
• A Transputer disassembler
• The Atari Transputer Parallel Processing Centre at the Atari Museum
• The Amiga Transputer Project
• Relationship of the transputer to the Sony/Toshiba/IBM CELL processor.
• Julian Highfield's T414 Transputer Emulator.