WoTUG - The place for concurrent processes

Proceedings 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"
Title: Communicating Process Architectures 2000
Subtitle: WoTUG-23
Editors: db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Peter H. Welch, André W. P. Bakkers
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 077 9
ISSN: 1383-7575
Items:
    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"
  • Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems  Jeremy M. R. Martin, Yvonne Huddart, 14 pagesdb_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"
    [PDF, PS]
  • 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"
  • The Automated Serialization of Concurrent CSP Scripts using Mathematica  Weiyang Zhou, G. S. Stiles, 18 pagesdb_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"
  • 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"
  • CSP Design Model and Tool Support  H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers, 16 pagesdb_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"
  • 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"
  • Distributed Computing using Channel Communications in Java  Andreas Ripke, Alastair R. Allen, Y. Feng, 14 pagesdb_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"
    [PDF]
  • 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"
  • A Comparison of Linda Implementations in Java  George Wells, Peter Clayton, Alan G. Chalmers, 14 pagesdb_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"
    [PDF]
  • 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"
  • Conditional Communication in the Presence of Priority  Gerald H. Hilderink, Jan F. Broenink, 22 pagesdb_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"
  • 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"
  • Steering High-Performance Parallel Programs: a Case Study  P. J. Love, Jeremy M. R. Martin, 10 pagesdb_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"
    [PDF]
  • 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"
  • A Self-Configuring Distributed Kernel for Satellite Networks  Scott Cannon, Larry Denys, 12 pagesdb_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"
    [PDF, PS]
  • 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"
  • A Cruise Control in occam based on an Implementation of KRoC on the Philips 8051 Microcontroller  Frank T. M. van Vugt, André W. P. Bakkers, 16 pagesdb_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"
  • 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"
  • Synchronisation in a Multithreaded Processor  Shondip Sen, Henk Muller, David May, 8 pagesdb_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"
  • 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"
  • Blocking System Calls in KRoC/Linux  Frederick R. M. Barnes, 24 pagesdb_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"
    [PDF, PS]
  • 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"
  • Post-Mortem Debugging in KRoC  David C. Wood, Frederick R. M. Barnes, 14 pagesdb_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"
    [PDF]
  • 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"
  • An Experiment with Recursion in occam  David C. Wood, 12 pagesdb_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"
    [PDF, PS]
  • 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"
  • Using Java for Parallel Computing - JCSP versus CTJ  Nan C. Schaller, Gerald H. Hilderink, Peter H. Welch, 22 pagesdb_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"
    [PDF]
  • 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"
  • occam on Field Programmable Gate Arrays - Optimising for Performance  Roger M. A. Peel, Barry M. Cook, 12 pagesdb_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"
  • 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"
  • libcsp - a Building mechanism for CSP Communication and Synchronisation in Multithreaded C Programs  Rick D. Beton, 12 pagesdb_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"
  • 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"
  • CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway)  Øyvind Teig, 12 pagesdb_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"
    [PDF]
  • 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"
  • Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel  James Moores, 12 pagesdb_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"
    [PDF]
  • 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"
  • Formal Analysis of Concurrent Java Systems Peter H. Welch, Jeremy M. R. Martin, 27 pagesdb_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"
    [PDF]
  • 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"
  • Concurrency in Industry (Wot, no CSPs?)  Johan P. E. Sunterdb_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"


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!