Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
@InProceedings{Welch07,
  title = "{I}ntegrating and {E}xtending {JCSP}",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
  author= "Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H.C.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
  editor= "McEwan, Alistair A. and Schneider, Steve and Ifill, Wilson and Welch, Peter H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
  pages = "349--369",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn= "978-1-58603-767-3",
  year= "2007",
  month= "jul",
  abstract= "This paper presents the extended and re-integrated JCSP
     library of CSP packages for Java. It integrates the
     differing advances made by Quickstone'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.