Wikipedia
JCSP
JCSP is an implementation of Communicating Sequential Processes (CSP) for the Java programming language.
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.