Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: jcsp | Distribution: openSUSE Tumbleweed |
Version: 1.1~rc5 | Vendor: openSUSE |
Release: 4.7 | Build date: Sat Sep 9 16:20:14 2023 |
Group: Development/Libraries/Java | Build host: reproducible |
Size: 774724 | Source RPM: jcsp-1.1~rc5-4.7.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: https://github.com/codehaus/jcsp | |
Summary: Communicating Sequential Processes for Java (JCSP) |
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.
LGPL-2.1-or-later
* Sat Sep 09 2023 Fridrich Strba <fstrba@suse.com> - Reproducible builds: use SOURCE_DATE_EPOCH for timestamp * Tue Mar 22 2022 Fridrich Strba <fstrba@suse.com> - Build with source and target levels 8 * Sun Nov 24 2019 Fridrich Strba <fstrba@suse.com> - Specify maven.compiler.release to fix build with jdk9+ and newer maven-javadoc-plugin * Tue Nov 12 2019 Fridrich Strba <fstrba@suse.com> - Initial packaging of jcsp 1.1 release candidate 5
/usr/share/doc/packages/jcsp /usr/share/doc/packages/jcsp/README.txt /usr/share/java/jcsp.jar /usr/share/licenses/jcsp /usr/share/licenses/jcsp/LICENCE.txt /usr/share/maven-metadata/jcsp.xml /usr/share/maven-poms/jcsp.pom
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Nov 15 00:57:53 2024