db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Integrating and Extending JCSP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A Peter H. Welch,  Neil C.C. Brown,  James Moores,  Kevin Chalmers,  Bernhard H.C. Sputh
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%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 &quot;core&quot; 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.