Proceedings details

Title: Communicating Process Architectures 2000
Subtitle: WoTUG-23
Editors: Peter H. Welch, André W. P. Bakkers
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 077 9
ISSN: 1383-7575
Items:

Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems Jeremy M. R. Martin, Yvonne Huddart, 14 pages [PDF, PS]
The Automated Serialization of Concurrent CSP Scripts using Mathematica Weiyang Zhou, G. S. Stiles, 18 pages
CSP Design Model and Tool Support H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers, 16 pages
Distributed Computing using Channel Communications in Java Andreas Ripke, Alastair R. Allen, Y. Feng, 14 pages [PDF]
A Comparison of Linda Implementations in Java George Wells, Peter Clayton, Alan G. Chalmers, 14 pages [PDF]
Conditional Communication in the Presence of Priority Gerald H. Hilderink, Jan F. Broenink, 22 pages
Steering High-Performance Parallel Programs: a Case Study P. J. Love, Jeremy M. R. Martin, 10 pages [PDF]
A Self-Configuring Distributed Kernel for Satellite Networks Scott Cannon, Larry Denys, 12 pages [PDF, PS]
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 pages
Synchronisation in a Multithreaded Processor Shondip Sen, Henk Muller, David May, 8 pages
Blocking System Calls in KRoC/Linux Frederick R. M. Barnes, 24 pages [PDF, PS]
Post-Mortem Debugging in KRoC David C. Wood, Frederick R. M. Barnes, 14 pages [PDF]
An Experiment with Recursion in occam David C. Wood, 12 pages [PDF, PS]
Using Java for Parallel Computing - JCSP versus CTJ Nan C. Schaller, Gerald H. Hilderink, Peter H. Welch, 22 pages [PDF]
occam on Field Programmable Gate Arrays - Optimising for Performance Roger M. A. Peel, Barry M. Cook, 12 pages
libcsp - a Building mechanism for CSP Communication and Synchronisation in Multithreaded C Programs Rick D. Beton, 12 pages
CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway) Øyvind Teig, 12 pages [PDF]
Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel James Moores, 12 pages [PDF]
Formal Analysis of Concurrent Java Systems Peter H. Welch, Jeremy M. R. Martin, 27 pages [PDF]
Concurrency in Industry (Wot, no CSPs?) Johan P. E. Sunter

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.