Proceedings details

Title: Communicating Process Architectures 2002
Subtitle: WoTUG-25
Editors: James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 268 2
ISSN: 1383-7575
Items:

Semantics of prialt in Handel-C (tm) Andrew Butterfield, 16 pages [PS, PDF]
Acceptances, Behaviours and Infinite Activity in CSPP Adrian E. Lawrence, 22 pages [PDF, PS]
HCSP: Imperative State and True Concurrency Adrian E. Lawrence, 18 pages [PS, PDF]
Consolidating The Agreement Problem Protocol Verification Environment James S. Pascoe, Roger J. Loader, 22 pages [PDF, PS]
On the Complexity of Buffer Allocation in Message Passing Systems Alex Brodsky, Jan Bækgaard Pedersen, Alan Wagner, 18 pages [PS, PDF]
Java PastSet - A Structured Distributed Shared Memory System Kei Simon Pedersen, Brian Vinter, 12 pages [PDF]
Synchronous Active Objects Introduce CSP's Primitives in Java Claude Petitpierre, 14 pages [PS, PDF]
Configurable Collective Communication in LAM-MPI John Markus Bjørndalen, Otto J. Anshus, Tore Aarsen, Brian Vinter, 12 pages [PDF, PS]
Cache-Affinity Scheduling for Fine Grain Multithreading Kurt Debattista, Kevin Vella, Joseph Cordina, 12 pages [PS, PDF]
A Predicate Transformer Semantics for a Concurrent Language of Refinement Ana Cavalcanti, Jim Woodcock, 20 pages [PDF, PS]
Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs Ralph Moseley, 14 pages [PS, PDF]
Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems Mark Green, Ali E. Abdallah, 10 pages [PDF]
Configuration Discovery and Mapping of a Home Network Keith Pugh, 12 pages [PS, PDF]
Cluster Computing and JCSP Networking Peter H. Welch, Brian Vinter, 20 pages [PDF]
View-Centric Reasoning for Linda and Tuple Space Computation Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes, 32 pages [PS, PDF]
A Graphical Modeling Language for Specifying Concurrency based on CSP Gerald H. Hilderink, 30 pages [PDF]
The 'Honeysuckle' Programming Language: Event and Process Ian R. East, 16 pages [PS, PDF]
A Communicating Threads Case Study: JIWY Jan F. Broenink, Gerald H. Hilderink, Dusko S. Jovanovic, 10 pages [PDF, PS]
Prioritised Dynamic Communicating Processes - Part I Frederick R. M. Barnes, Peter H. Welch, 32 pages [PS, PDF]
Prioritised Dynamic Communicating Processes - Part II Frederick R. M. Barnes, Peter H. Welch, 18 pages [PDF, PS]
Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Geraldo Pereira de Souza, Gerson Henrique Pfitscher, 16 pages [PDF, PS]

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.