Bug#586153: ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features
Package: wnpp
Severity: wishlist
Owner: Miguel Landaeta <miguel@miguel.cc>
* Package name : jcsp
Version : 1.1-rc4
Upstream Author : Peter Welch, Paul Austin
* URL : http://www.cs.kent.ac.uk/projects/ofa/jcsp/
* License : LGPL-2.1
Programming Lang: Java
Description : Java library providing Communicating Sequential Processes (CSP) features
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
behaviour arising from interactions between concurrent
objects.
.
JSCP 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 (javadoc)umented
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.
--
Miguel Landaeta, miguel at miguel.cc
secure email with PGP 0x7D8967E9 available at http://keyserver.pgp.com/
"Faith means not wanting to know what is true." -- Nietzsche
Reply to: