WoTUG - The place for concurrent processes

Paper Details

%T Integrating and Extending JCSP
%A Peter H. Welch, Neil C.C. Brown, James Moores, Kevin Chalmers, Bernhard H.C. Sputh
%E Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X This paper presents the extended and re\-integrated JCSP
   library of CSP packages for Java. It integrates the
   differing advances made by Quickstone\[rs]s JCSP Network
   Edition and the "core" library maintained
   at Kent. A more secure API for connecting networks and
   manipulating channels is provided, requiring significant
   internal re\-structuring. This mirrors developments in the
   occam\-pi language for mandated direction specifiers on
   channel\-ends. For JCSP, promoting the concept of
   channel\-ends to first\-class entities has both semantic
   benefit (the same as for occampi) and increased safety.
   Major extensions include alting barriers (classes supporting
   external choice over multiple multi\-way synchronisations),
   channel output guards (straightforward once we have the
   alting barriers), channel poisoning (for the safe and simple
   termination of networks or sub\-networks) and extended
   rendezvous on channel communications (that simplify the
   capture of several useful synchronisation design patterns).
   Almost all CSP systems can now be directly captured with the
   new JCSP. The new library is available under the LGPL open
   source license.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!