Paketname | libjcsp-java |
Beschreibung | Java library providing Communicating Sequential Processes (CSP) features |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 1.1-rc4-1 |
Sektion | java |
Priorität | optional |
Installierte Größe | 780 Byte |
Hängt ab von | |
Empfohlene Pakete | |
Paketbetreuer | Debian Java Maintainers |
Quelle | jcsp |
Paketgröße | 605518 Byte |
Prüfsumme MD5 | df8f4e7f5b0caf2433ef6042252a2d91 |
Prüfsumme SHA1 | 391901aa09ef3aee70cd14d89d278b7b8715e533 |
Prüfsumme SHA256 | 86f35f3c37bd97d904630a38f758d35bb7ea9ae2b9648225ec32f2f8cf3ebf34 |
Link zum Herunterladen | libjcsp-java_1.1-rc4-1_all.deb |
Ausführliche Beschreibung | 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.
|