| The
CSP formalism |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n | A
small mathematical language containing |
|||||||||||||||
| the
main constructs for specifying |
||||||||||||||||
| concurrency,
parallelism, communication, |
||||||||||||||||
| choice,
hiding etc. |
||||||||||||||||
| n | The
evolution of processes is based on a |
|||||||||||||||
| sequence
of events or actions |
||||||||||||||||
| n | Visible actions S |
|||||||||||||||
| n | Interaction
with other processes, communication |
|||||||||||||||
| n | Invisible action
t |
|||||||||||||||
| n | Internal
computation steps |
|||||||||||||||
