SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

jcsp rpm build for : Fedora 28. For other distributions click jcsp.

Name : jcsp
Version : 1.1 Vendor : Fedora Project
Release : 0.9.rc5.fc28 Date : 2018-05-11 11:48:50
Group : Unspecified Source RPM : jcsp-1.1-0.9.rc5.fc28.src.rpm
Size : 0.71 MB
Packager : Fedora Project
Summary : Communicating Sequential Processes for Java (JCSP)
Description :
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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/28/Everything/s390x/Packages/j

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  jcsp-1.1-0.9.rc5.fc28.noarch.rpm
ftp.icm.edu.pl  jcsp-1.1-0.9.rc5.fc28.noarch.rpm
     

Provides :
jcsp
mvn(org.codehaus.jcsp:jcsp)
mvn(org.codehaus.jcsp:jcsp:pom:)
osgi(org.codehaus.jcsp)

Requires :
java-headless >= 1:1.5
javapackages-tools
mvn(org.osgi:osgi.core)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/share/doc/jcsp
/usr/share/doc/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

 
ICM