X-Nico

2 unusual facts about ''Communicating Sequential Processes''


Communications protocol

A mathematical approach to the study of concurrency and communication is referred to as Communicating Sequential Processes (CSP).

Handel-C

In order to facilitate a way to describe parallel behaviour some of the CSP keywords are used, along with the general file structure of Occam.


JCSP

Although CSP is a mathematical system, JCSP does not require in-depth mathematical skill, allowing instead that programmers can achieve well-behaved software just by following simple rules.


see also

JCSP re

JCSP re stands for "Communicating Sequential Processes for Java, Robot Edition" this is a reduced version of the original JCSP packages and work done at the University of Kent.