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.
This program is the same as that - Behavioral Equivalence
This program will not deadlock.
We describe behaviour in terms of the operators show below in #tbcsp1#901>.
A process is defined as the set of events that are relevant - this set
is an alphabet.
The behaviour of a process is defined by a set of process names and