Paketname | libjcsp-java-doc |
Beschreibung | Documentation for libjcsp-java |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 1.1-rc4-1 |
Sektion | doc |
Priorität | optional |
Installierte Größe | 25572 Byte |
Hängt ab von | |
Empfohlene Pakete | |
Paketbetreuer | Debian Java Maintainers |
Quelle | jcsp |
Paketgröße | 2726756 Byte |
Prüfsumme MD5 | e61339018e18246339c7f8e38ba03080 |
Prüfsumme SHA1 | 8c3aa289cc308be4e7543df3a63bd0335abc1d45 |
Prüfsumme SHA256 | 06c60fd6ba4e0c519ddb10eb9246e24e1c47424d9f4b0f1a0783256117f13390 |
Link zum Herunterladen | libjcsp-java-doc_1.1-rc4-1_all.deb |
Ausführliche Beschreibung | Documentation for JCSP (Communication Sequential Processes for
Java) that 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.
|