org.codehaus.jcsp » jcsp
This library contains classes realizing Communicating Sequential Processes (CSP) for use in Java code.