|File Search||Catalog||Content Search|
Communicating Sequential Processes (CSP) is a mathematical theory for specifying and verifying complex patterns of behaviour 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 (javadoc)umented 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.
============================================================================= CSP for Java : JCSP 1.1 Release Candidate 1 (rc4) ============================================================================= This file contains: o the manifest list of files/directories in this release; o installation notes; o incremental change list since JCSP 0.5. Please read the GNU-LGPL-2. more»
jcsp (1.1-rc4-1) unstable; urgency=low * Initial release. (Closes: #586153). -- Miguel Landaeta <email@example.com> Sun, 20 Jun 2010 18:12:26 -0430
The sources where downloaded from http://projects.cs.kent.ac.uk/projects/jcsp/svn/jcsp/tags/jcsp-1.1-rc4/. Files: * Copyright: © 1996-2008 Peter Welch and Paul Austin, © 2001-2004 Quickstone Technologies Limited. License: LGPL-2.1 The full text of the GNU Lesser General Public License is distributed in /usr/share/common-licenses/LGPL-2.1 on Debian systems. Files: debian/* Copyright: © 2010 more»