Fedora 21 Update: jcsp-1.1-0.2.rc5.fc21

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-14610
2014-11-10 04:54:15
--------------------------------------------------------------------------------

Name        : jcsp
Product     : Fedora 21
Version     : 1.1
Release     : 0.2.rc5.fc21
URL         : https://xircles.codehaus.org/projects/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.

JSCP 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.

--------------------------------------------------------------------------------
Update Information:

Initial import (#854237)
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #854237 - Review Request: jcsp - Communicating Sequential Processes for Java (JCSP)
        https://bugzilla.redhat.com/show_bug.cgi?id=854237
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use
su -c 'yum update jcsp' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------