Proceedings details

• A Comparison of High Performance, Parallel Computing Java Packages  Nan C. Schaller, Sidney W. Marshall, Yu-Fong Cho, 16 pages [PDF]
• A Development Method Boosted by Synchronous Active Objects  Claude Petitpierre, 16 pages [PDF]
• Tutorial: Prioritised Service Architecture using Honeysuckle Ian R. East, 4 pages [PDF]
• The Grid Block Device  Bardur Arrantsson, Brian Vinter, 12 pages [PDF]
• Distributed Shared Memory in Global Area Networks  Hans Henrik Happe, Brian Vinter, 14 pages [PDF]
• Automatic Conversion of CSP to CTJ, JCSP, and CCSP  V. Raju, L. Rong, G. S. Stiles, 19 pages [PDF]
• A Single Chip Solution for Distributed Processing Systems  Brian C. O'Neill, P.W. Moore, S. Clark, 8 pages [PDF]
• The denotational Semantics of View-Centric Reasoning  Marc L. Smith, Charles E. Hughes, Kyle W. Burke, 8 pages [PDF]
• Overtures and hesitant offers: hiding in CSPP Adrian E. Lawrence, 13 pages [PDF]
• Sampling and timing a task for the environmental process  Gerald H. Hilderink, Jan F. Broenink, 14 pages [PDF]
• Parallel Processing - the picoChip way!  Andrew Duller, Gajinder Panesar, Daniel Towner, 14 pages [PDF]
• An Introduction to the Kent C++CSP Library  Neil C.C. Brown, Peter H. Welch, 18 pages [PDF]
• Agents for Concurrent Programming  Enrique Gonzalez, Cesar Bustacara, Jamir Avila, 10 pages [PDF]
• occam for reliable embedded systems: lightweight runtime and model checking  Denis A. Nicole, Sam Ellis, Simon Hancock, 6 pages [PDF]
• The Trebuchet  John Campbell, G. S. Stiles, 11 pages [PDF]
• Formal Contracts: Enabling Component Composition  Marcel Boosten, 13 pages [PDF]
• Flexible, Transparent and Dynamic occam Networking With KRoC.net  Mario Schweigler, Frederick R. M. Barnes, Peter H. Welch, 26 pages [PDF]
• A CSP-based Processing Architecture for a Flexible MIMO-OFDM Testbed  H. S. Cronie, F. W. Hoeksema, C. H. Slump, 9 pages [PDF]
• Real-time and fault tolerance in distributed control software  Bojan Orlic, Jan F. Broenink, 16 pages [PDF]
• occwserv: An occam Web-Server  Frederick R. M. Barnes, 18 pages [PDF]
• RMoX: A raw-metal occam Experiment  Christian L. Jacobsen, Frederick R. M. Barnes, Brian Vinter, 20 pages [PDF]
• Scheduling for ILP in the 'Processor-as-a-Network'  D.K. Arvind, S. Sotelo-Salazar, 16 pages [PDF]
• Accurate Calculation of Deme Sizes for a Parallel Genetic Scheduling Algorithm  M. Moore, 9 pages [PDF]
• A multimodal robotic control law modelled and implemented by the CSP - GML/CT framework  Gerald H. Hilderink, Dusko S. Jovanovic, Jan F. Broenink, 20 pages [PDF]