| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
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.
| Package | Summary | Distribution | Download |
| jcsp-1.1~rc5-150200.3.4.3.noarch.html | Communicating Sequential Processes for Java (JCSP) | OpenSuSE Leap 15.5 for noarch | jcsp-1.1~rc5-150200.3.4.3.noarch.rpm |
| jcsp-1.1~rc5-150200.3.4.3.noarch.html | Communicating Sequential Processes for Java (JCSP) | OpenSuSE Leap 15.6 for noarch | jcsp-1.1~rc5-150200.3.4.3.noarch.rpm |
| jcsp-1.1~rc5-4.7.noarch.html | Communicating Sequential Processes for Java (JCSP) | OpenSuSE Tumbleweed for noarch | jcsp-1.1~rc5-4.7.noarch.rpm |
| Communicating Sequential Processes for Java (JCSP) | jcsp-1.1~rc5-4.7.noarch.rpm | ||
| jcsp-1.1~rc5-4.5.noarch.html | Communicating Sequential Processes for Java (JCSP) | OpenSuSE Ports Tumbleweed for noarch | jcsp-1.1~rc5-4.5.noarch.rpm |
| jcsp-1.1~rc5-lp160.1.1.noarch.html | Communicating Sequential Processes for Java (JCSP) | OpenSuSE Leap 16.0 for noarch | jcsp-1.1~rc5-lp160.1.1.noarch.rpm |
Generated by rpm2html 1.6