Electronics & Programming

develissimo

Open Source electronics development and programming

  • You are not logged in.
  • Root
  • » Java
  • » Bug#586153: ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features [RSS Feed]

#1 June 16, 2010 23:00:17

Miguel L.
Registered: 2009-11-02
Reputation: +  0  -
Profile   Send e-mail  

Bug#586153: ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features


Package: wnpp
Severity: wishlist
Owner: Miguel Landaeta <mig***@*iguel.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 athttp://keyserver.pgp.com/"Faith means not wanting to know what is true." -- Nietzsche



--
To UNSUBSCRIBE, email to debian-java-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:http://lists.debian.org/20100616214008.ga23...@miguel.cc

Offline

  • Root
  • » Java
  • » Bug#586153: ITP: jcsp -- Java library providing Communicating Sequential Processes (CSP) features [RSS Feed]

Board footer

Moderator control

Enjoy the 16th of December
PoweredBy

The Forums are managed by develissimo stuff members, if you find any issues or misplaced content please help us to fix it. Thank you! Tell us via Contact Options
Leave a Message
Welcome to Develissimo Live Support