CPA 2005:
Eindhoven,
The Netherlands
Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood (Eds.):
The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005.
Concurrent Systems Engineering Series 63 IOS Press 2005, ISBN 978-1-58603-561-7 
- Ian East:
Interfacing with Honeysuckle by Formal Contract.
1-11
- Jon M. Kerridge, Ken Barclay, John Savage:
Groovy Parallel! A Return to the Spirit of occam?
13-28
- Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink:
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software.
29-41
- Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers:
Automatic Handel-C Generation from MATLAB.
43-69
- Bernhard H. C. Sputh, Alastair R. Allen:
JCSP-Poison: Safe Termination of CSP Process Networks.
71-107
- Kevin Chalmers, Jon M. Kerridge:
jcsp.mobile: A Package Enabling Mobile Processes and Channels.
109-127
- William B. Gardner:
CSP++: How Faithful to CSPm?
129-146
- Albert Schoute, Remco Seesink, Werner Dierssen, Niek Kooij:
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams.
147-154
- Hans Henrik Happe, Brian Vinter:
Improving TCP/IP Multicasting with Message Segmentation.
155-163
- Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes:
Lazy Cellular Automata with Communicating Processes.
165-175
- Marc L. Smith:
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation.
177-188
- Brian Vinter:
The Architecture of the Minimum intrusion Grid (MiG).
189-201
- Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt:
Verification of JCSP Programs.
203-218
- Maarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen:
Architecture Design Space Exploration for Streaming Applications through Timing Analysis.
219-233
- Damian J. Dimmich, Christian L. Jacobsen:
A Foreign-Function Interface Generator for occam-pi.
235-248
- Fred R. M. Barnes:
Interfacing C and occam-pi.
249-260
- John Markus Bjørndalen, Otto J. Anshus, Brian Vinter:
Interactive Computing with the Minimum intrusion Grid (MiG).
261-273
- Arash Saifhashemi, Peter A. Beerel:
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog.
275-288
- Peter H. Welch, Fred R. M. Barnes:
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
289-316
- Gerald H. Hilderink:
Exception Handling Mechanism in Communicating Threads for Java.
317-334
- John Jakson:
R16: A New Transputer Design for FPGAs.
335-362
- Johnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson:
Towards Strong Mobility in the Shared Source CLI.
363-373
- Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink:
gCSP occam Code Generation for RMoX.
375-383
- Mihail Ivanovici, Razvan Beuran, Neil Davies:
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach.
385-395
- H. Peter Hofstee:
Communication and Synchronization in the Cell Processor - Invited Talk.
397
- Paul Stravers:
Homogeneous Multiprocessing for Consumer Electronics - Invited Talk.
399
- Ad M. G. Peeters:
Handshake Technology: High Way to Low Power - Invited Talk.
401
- Guy H. Broadfoot:
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk.
403
Copyright © Mon Mar 15 03:56:42 2010
by Michael Ley (ley@uni-trier.de)
