Communication Sequential Processes

CSP is a programming language and is the basis of Occam, a lower level programming language for parallel architecture computers. CSP forms the mathematically strict background (originally for design of Occam). partly a programming language, partly a notation. It also allows us to make statements about programs like: Basic idea is that of a process. We describe behaviour in terms of the operators show below in #tbcsp1#901>.

Table: CSP