How to Install and Uninstall jcsp Package on openSuSE Tumbleweed
Last updated: December 25,2024
1. Install "jcsp" package
Please follow the guidance below to install jcsp on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
jcsp
Copied
2. Uninstall "jcsp" package
Please follow the step by step instructions below to uninstall jcsp on openSuSE Tumbleweed:
$
sudo zypper remove
jcsp
Copied
3. Information about the jcsp package on openSuSE Tumbleweed
Information for package jcsp:
-----------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : jcsp
Version : 1.1~rc5-4.4
Arch : noarch
Vendor : openSUSE
Installed Size : 756.7 KiB
Installed : No
Status : not installed
Source package : jcsp-1.1~rc5-4.4.src
Upstream URL : https://github.com/codehaus/jcsp
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.
-----------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : jcsp
Version : 1.1~rc5-4.4
Arch : noarch
Vendor : openSUSE
Installed Size : 756.7 KiB
Installed : No
Status : not installed
Source package : jcsp-1.1~rc5-4.4.src
Upstream URL : https://github.com/codehaus/jcsp
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.