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:
-
This program is the same as that - Behavioral Equivalence
-
This program will not deadlock.
Basic idea is that of a process.
-
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
operators
We describe behaviour in terms of the operators show below in #tbcsp1#901>.
#table902#
Table: CSP