Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
Java:packages
jcsp
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package jcsp
<package name="jcsp" project="Java:packages"> <title>Communicating Sequential Processes for Java (JCSP)</title> <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. </description> <url>https://github.com/codehaus/jcsp</url> </package>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
