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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood, editors, 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. Volume 63 of Concurrent Systems Engineering Series, IOS Press, 2005. [doi]

Conference: wotug2005

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

runs on WebDSL