Package: wnpp Severity: wishlist Owner: Miguel Landaeta <mig...@miguel.cc>
* Package name : jcsp Version : 1.1-rc4 Upstream Author : Peter Welch, Paul Austin * URL : http://www.cs.kent.ac.uk/projects/ofa/jcsp/ * License : LGPL-2.1 Programming Lang: Java Description : Java library providing Communicating Sequential Processes (CSP) features 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 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. -- Miguel Landaeta, miguel at miguel.cc secure email with PGP 0x7D8967E9 available at http://keyserver.pgp.com/ "Faith means not wanting to know what is true." -- Nietzsche -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100616214008.ga23...@miguel.cc
