Abstract is missing.
- Interfacing with Honeysuckle by Formal ContractIan East. 1-11
- Groovy Parallel! A Return to the Spirit of occam?Jon M. Kerridge, Ken Barclay, John Savage. 13-28
- On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent SoftwareDusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink. 29-41
- Automatic Handel-C Generation from MATLABBart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers. 43-69
- JCSP-Poison: Safe Termination of CSP Process NetworksBernhard H. C. Sputh, Alastair R. Allen. 71-107
- jcsp.mobile: A Package Enabling Mobile Processes and ChannelsKevin Chalmers, Jon M. Kerridge. 109-127
- CSP++: How Faithful to CSPm?William B. Gardner. 129-146
- Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot TeamsAlbert Schoute, Remco Seesink, Werner Dierssen, Niek Kooij. 147-154
- Improving TCP/IP Multicasting with Message SegmentationHans Henrik Happe, Brian Vinter. 155-163
- Lazy Cellular Automata with Communicating ProcessesAdam T. Sampson, Peter H. Welch, Fred R. M. Barnes. 165-175
- A Unifying Theory of True Concurrency Based on CSP and Lazy ObservationMarc L. Smith. 177-188
- The Architecture of the Minimum intrusion Grid (MiG)Brian Vinter. 189-201
- Verification of JCSP ProgramsVladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt. 203-218
- Architecture Design Space Exploration for Streaming Applications through Timing AnalysisMaarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen. 219-233
- A Foreign-Function Interface Generator for occam-piDamian J. Dimmich, Christian L. Jacobsen. 235-248
- Interfacing C and occam-piFred R. M. Barnes. 249-260
- Interactive Computing with the Minimum intrusion Grid (MiG)John Markus Bjørndalen, Otto J. Anshus, Brian Vinter. 261-273
- High Level Modeling of Channel-Based Asynchronous Circuits Using VerilogArash Saifhashemi, Peter A. Beerel. 275-288
- Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationPeter H. Welch, Fred R. M. Barnes. 289-316
- Exception Handling Mechanism in Communicating Threads for JavaGerald H. Hilderink. 317-334
- R16: A New Transputer Design for FPGAsJohn Jakson. 335-362
- Towards Strong Mobility in the Shared Source CLIJohnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson. 363-373
- gCSP occam Code Generation for RMoXMarcel A. Groothuis, Geert K. Liet, Jan F. Broenink. 375-383
- Assessing Application Performance in Degraded Network Environments: An FPGA-Based ApproachMihail Ivanovici, Razvan Beuran, Neil Davies. 385-395
- Communication and Synchronization in the Cell Processor - Invited TalkH. Peter Hofstee. 397
- Homogeneous Multiprocessing for Consumer Electronics - Invited TalkPaul Stravers. 399
- Handshake Technology: High Way to Low Power - Invited TalkAd M. G. Peeters. 401
- If Concurrency in Software is So Simple, Why is it So Hard? - Invited TalkGuy H. Broadfoot. 403