JCSP - CSP for Java

Packages 
Package Description
jcsp.awt Each AWT component (e.g.
jcsp.demos.net.async  
jcsp.demos.net.barriers  
jcsp.demos.net.channels  
jcsp.lang Processes encapsulate both data and algorithms.
jcsp.net  
jcsp.net.bns  
jcsp.net.cns  
jcsp.net.mobile  
jcsp.net.tcpip  
jcsp.plugNplay The educational purpose is to demonstrate how simple it is to build layered networks of communicating processes.
jcsp.plugNplay.ints The educational purpose is to demonstrate how simple it is to build layered networks of communicating processes.
jcsp.util By default, channels are zero-buffered and fully synchronised: both a reader and a writer have to be ready for a communication to proceed.
jcsp.util.filter Defines filtered channels - ones that can apply transformations to objects as theare read and/or written.
jcsp.util.ints By default, channels are zero-buffered and fully synchronised: both a reader and a writer have to be ready for a communication to proceed.
jcsp.win32