Communicating Sequential Processes for Java (JCSP)

Edit Package jcsp
https://github.com/codehaus/jcsp

JCSP (Communication Sequential Processes for Java) is a
library providing a concurrency model that is a combination
of ideas from Hoare's CSP and Milner's pi-calculus.

Communicating Sequential Processes (CSP) is a mathematical
theory for specifying and verifying complex patterns of
behavior arising from interactions between concurrent
objects.

JCSP provides a base range of CSP primitives plus a rich set of
extensions. Also included is a package providing CSP process
wrappers giving a channel interface to all Java AWT widgets
and graphics operations. It is extensively (java/documented)
and includes much teaching.

JCSP is an alternative concurrency model to the threads and
mechanisms built into Java. It is also compatible with
it since it is implemented on top of it.

Refresh
Refresh
Source Files
Filename Size Changed
jcsp-1.1-rc5-clean.tar.xz 0000768784 751 KB
jcsp-create-tarball.sh 0000000799 799 Bytes
jcsp.changes 0000000776 776 Bytes
jcsp.spec 0000005070 4.95 KB
Latest Revision
buildservice-autocommit accepted request 1109969 from Fridrich Strba's avatar Fridrich Strba (fstrba) (revision 10)
baserev update by copy to link target
Comments 0
openSUSE Build Service is sponsored by