Proceedings details

Title: Communicating Process Architectures 2004
Subtitle: WoTUG-27
Editors: Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 458 8
ISSN: 1383-7575
Items:

Finitary Refinement Checks for Infinitary Specifications A. W. Roscoe, 18 pages [PDF]
An Automatic Translation of CSP to Handel-C Jonathan D. Phillips, G. S. Stiles, 20 pages [PDF]
On Linear Time and Congruence in Channel-Passing Calculi Frederic Peschanski, 16 pages [PDF]
Prioritised Service Architecture Ian R. East, 16 pages [PDF]
Debugging and Verification of Parallel Systems - the picoChip Way Andrew Duller, Gajinder Panesar, Daniel Towner, 14 pages [PDF]
Active Serial Port: A Component for JCSPNet Embedded Systems Sarah Clayton, Jon Kerridge, 14 pages [PDF]
The Transterpreter: A Transputer Interpreter Christian L. Jacobsen, Matthew C. Jadud, 8 pages [PDF]
Adding Mobility to Networked Channel-Types Mario Schweigler, 20 pages [PDF]
A Comparison of Three MPI Implementations Brian Vinter, John Markus Bjørndalen, 10 pages [PDF]
An Evaluation of Inter-Switch Connections Hans Henrik Happe, Brian Vinter, 10 pages [PDF]
Observing Processes Adrian E. Lawrence, 10 pages [PDF]
Triples Adrian E. Lawrence, 28 pages [PDF]
C++CSP Networked Neil C.C. Brown, 16 pages [PDF]
Communicating Mobile Processes Frederick R. M. Barnes, Peter H. Welch, 18 pages [PDF, PPT]
Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid Jeremy M. R. Martin, Alex V. Tiskin, 8 pages [PDF, PPT]
CSP: The Best Concurrent-System Description Language in the World - Probably! Michael Goldsmith, 6 pages [PDF]
Graphical Tool for Designing CSP Systems Jan F. Broenink, Dusko S. Jovanovic, 20 pages [PDF]
Towards a Semantics for Prioritized Alternation Ian R. East, 12 pages [PDF]
Refining Industrial Scale Systems in Circus Marcel Oliveira, Ana Cavalcanti, Jim Woodcock, 30 pages [PDF]
K-CSP Component Based Development of Kernel Extensions Bernhard H.C. Sputh, 14 pages [PDF]
Chaining Communications Algorithms with CSP Oliver Faust, Bernhard H.C. Sputh, David Endler, 14 pages [PDF]
Using CSP to Verify Aspects of an Occam-to-FPGA Compiler Roger M. A. Peel, Wong Han Feng Javier, 14 pages [PDF]
Focussing on Traces to Link VCR and CSP Marc L. Smith, 8 pages [PDF]
Design of a Transputer Core and Implementation in an FPGA Makoto Tanaka, Naoya Fukuchi, Yutaka Ooki, Chikara Fukunaga, 12 pages [PDF]
Reconfigurable Hardware Synthesis of the IDEA Cryptographic Algorithm Ali E. Abdallah, I. W. Damaj, 30 pages [PDF]

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.