libjcsp-java 1.1-rc4-2 (powerpc binary) in ubuntu trusty
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.
Details
- Package version:
- 1.1-rc4-2
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
- libjcsp-java_1.1-rc4-2_all.deb (592.8 KiB)
Package relationships
- Suggests: