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