Sat, 28 Sep 2024 01:46:28 UTC | login

Information for build jcsp-1.1-0.12.rc5.fc31

ID129026
Package Namejcsp
Version1.1
Release0.12.rc5.fc31
Epoch
SummaryCommunicating Sequential Processes for Java (JCSP)
DescriptionJCSP (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.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 20 Sep 2019 13:12:11 UTC
CompletedFri, 20 Sep 2019 13:12:11 UTC
Tags
f31
f32
f33
RPMs
src
jcsp-1.1-0.12.rc5.fc31.src.rpm (info) (download)
noarch
jcsp-1.1-0.12.rc5.fc31.noarch.rpm (info) (download)
jcsp-javadoc-1.1-0.12.rc5.fc31.noarch.rpm (info) (download)
Changelog * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.12.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.11.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.10.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri May 11 2018 Mat Booth <mat.booth@redhat.com> - 1.1-0.9.rc5 - Move to more recent osgi core implementation * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.8.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.7.rc5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild