Next: CSP and the virtual
Up: The language
Previous: Indexing
  Contents
Communicating Sequential Processes is a way of describing
complex parallel systems in terms of simple sequential processes that
communicate with each other. A good introduction to CSP can be found
in [1].
This section is a more loose theoretical discussion about
interpretations or representations of parallel systems.
1999-08-09