jcsp - Communicating Sequential Processes for Java (JCSP)

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package name jcsp
Package version 1.1
Package release 0.4.rc6.mga6
Package architecture noarch
Package type rpm
Installed size 741.70 KB
Download size 595.42 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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.4.rc6.mga6.noarch.rpm 1.1 noarch Mageia Core
jcsp - - -


Name Value
java-headless >= 1:1.5
jpackage-utils -
mvn(org.apache.felix:org.osgi.core) -


Name Value
jcsp == 1.1-0.4.rc6.mga6
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.4.rc6.mga6.noarch.rpm
Source Package jcsp-1.1-0.4.rc6.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install jcsp rpm package:
    # urpmi jcsp




2016-02-23 - neoclust <neoclust> 1.1-0.4.rc6.mga6
+ Revision: 976445
- First rebuild of the java stack
- sync package jcsp with fedora
- imported package jcsp
- imported package jcsp
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

See Also

Package Description
jcsp-javadoc-1.1-0.4.rc6.mga6.noarch.rpm Javadoc for jcsp
jctools-1.1-0.3.alpha.1.mga6.noarch.rpm Java Concurrency Tools for the JVM
jctools-javadoc-1.1-0.3.alpha.1.mga6.noarch.rpm Javadoc for jctools
jdbi-2.63.1-3.mga6.noarch.rpm A SQL convenience library for Java
jdbi-javadoc-2.63.1-3.mga6.noarch.rpm Javadoc for jdbi
jdbm-1.0-8.mga6.noarch.rpm Transactional Persistence Engine
jdbm-examples-1.0-8.mga6.noarch.rpm Examples for jdbm
jdbm-javadoc-1.0-8.mga6.noarch.rpm Javadocs for jdbm
jdeparser-2.0.0-1.mga6.noarch.rpm Source generator library for Java
jdeparser-javadoc-2.0.0-1.mga6.noarch.rpm Javadoc for jdeparser
jdeparser1-1.0.0-2.mga6.noarch.rpm Source generator library for Java
jdeparser1-javadoc-1.0.0-2.mga6.noarch.rpm Javadoc for jdeparser1
jdepend-2.9.1-16.mga6.noarch.rpm Java Design Quality Metrics
jdepend-demo-2.9.1-16.mga6.noarch.rpm Demos for jdepend
jdepend-javadoc-2.9.1-16.mga6.noarch.rpm Javadoc for jdepend