jcsp - Communicating Sequential Processes for Java (JCSP)

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name jcsp
Package version 1.1
Package release 0.9.rc5.fc28
Package architecture noarch
Package type rpm
Installed size 728.69 KB
Download size 597.73 KB
Official Mirror download-ib01.fedoraproject.org
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
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 Version Architecture Repository
jcsp-1.1-0.9.rc5.fc28.noarch.rpm 1.1 noarch Fedora Updates
jcsp-1.1-0.8.rc5.fc28.noarch.rpm 1.1 noarch Fedora
jcsp-1.1-0.8.rc5.fc28.noarch.rpm 1.1 noarch Fedora
jcsp - - -


Name Value
java-headless >= 1.5
javapackages-tools -
mvn(org.osgi:osgi.core) -


Name Value
jcsp = 1.1-0.9.rc5.fc28
mvn(org.codehaus.jcsp:jcsp) = 1.1.rc5
mvn(org.codehaus.jcsp:jcsp:pom:) = 1.1.rc5
osgi(org.codehaus.jcsp) = 1.1.0


Type URL
Binary Package jcsp-1.1-0.9.rc5.fc28.noarch.rpm
Source Package jcsp-1.1-0.9.rc5.fc28.src.rpm

Install Howto

Install jcsp rpm package:

# dnf install jcsp




2018-05-11 - Mat Booth <mat.booth@redhat.com> - 1.1-0.9.rc5
- Move to more recent osgi core implementation
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.8.rc5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.7.rc5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.6.rc5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-02-04 - Fedora Release Engineering <releng@fedoraproject.org> - 1.1-0.5.rc5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-0.4.rc5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-02-06 - gil cattaneo <puntogil@libero.it> 1.1-0.3.rc5
- introduce license macro
2014-10-31 - gil cattaneo <puntogil@libero.it> 1.1-0.2.rc5
- remove win32 java stuff
- fix description
2012-09-04 - gil cattaneo <puntogil@libero.it> 1.1-0.1.rc5
- initial rpm

See Also

Package Description
jcsp-javadoc-1.1-0.9.rc5.fc28.noarch.rpm Javadoc for jcsp
jctools-2.0.2-3.fc28.noarch.rpm Java Concurrency Tools for the JVM
jctools-experimental-2.0.2-3.fc28.noarch.rpm JCTools Experimental implementations
jctools-javadoc-2.0.2-3.fc28.noarch.rpm Javadoc for jctools
jctools-parent-2.0.2-3.fc28.noarch.rpm JCTools Parent POM
jcuber-4.4-3.fc28.noarch.rpm CUBE reader for Java
jcuber-doc-4.4-3.fc28.noarch.rpm Documentation for jcuber
jd- A 2ch browser
jeromq-0.3.6-4.fc28.noarch.rpm Pure Java implementation of libzmq
jeromq-javadoc-0.3.6-4.fc28.noarch.rpm Javadoc for jeromq
jetty-9.4.11-2.v20180605.fc28.noarch.rpm Java Webserver and Servlet Container
jetty-alpn-client-9.4.11-2.v20180605.fc28.noarch.rpm alpn-client module for Jetty
jetty-alpn-server-9.4.11-2.v20180605.fc28.noarch.rpm alpn-server module for Jetty
jetty-annotations-9.4.11-2.v20180605.fc28.noarch.rpm annotations module for Jetty
jetty-ant-9.4.11-2.v20180605.fc28.noarch.rpm ant module for Jetty