The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes, editors, The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006. Volume 64 of Concurrent Systems Engineering Series, IOS Press, 2006. [doi]

Conference: wotug2006

Abstract is missing.

SpaceWire - DS-Links RebornBarry Cook, Paul Walker. 1-12

An Introduction to CSP.NETAlex A. Lehmberg, Martin N. Olsen. 13-30

Performance Evaluation of JCSP Micro Edition: JCSPmeKevin Chalmers, Jon M. Kerridge, Imed Romdhani. 31-40

Ubiquitous Access to Site Specific Services by Mobile Devices: the Process ViewJon M. Kerridge, Kevin Chalmers. 41-58

CSP for .NET Based on JCSPKevin Chalmers, Sarah Clayton. 59-76

pony - The occam-pi Network EnvironmentMario Schweigler, Adam T. Sampson. 77-108

A Study of Percolation Phenomena in Process NetworksOliver Faust, Bernhard H. C. Sputh, Alastair R. Allen. 109-121

Portable CSP Based Design for Embedded Multi-Core SystemsBernhard H. C. Sputh, Oliver Faust, Alastair R. Allen. 123-134

A JCSP.net Implementation of a Massively Multiplayer Online GameShyam Kumar, Gardiner S. Stiles. 135-149

SystemCSP - Visual NotationBojan Orlic, Jan F. Broenink. 151-177

Interacting ComponentsBojan Orlic, Jan F. Broenink. 179-202

TCP Input Threading in High Performance Distributed SystemsHans Henrik Happe. 203-213

A Cell TransterpreterDamian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud. 215-224

Mobile Robot Control - The Subsumption Architecture and occam-piJonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud. 225-236

Rain: A New Concurrent Process-Oriented Programming LanguageNeil Brown. 237-251

Rain VM: Portable Concurrency through Managing CodeNeil Brown. 253-267

Native Code Generation Using the TransterpreterChristian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud. 269-280

Compositions of Concurrent ProcessesMark Burgin, Marc L. Smith. 281-296

Software Specification Refinement and Verification Method with I-Mathic StudioGerald H. Hilderink. 297-310

Video Processing in occam-piCarl G. Ritson, Adam T. Sampson, Fred R. M. Barnes. 311-329

No Blocking on Yesterday s Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple)Øyvind Teig. 331-338

A Circus Development and Verification of an Internet Packet FilterAlistair A. McEwan. 339-362

Classification of Programming Errors in Parallel Message Passing SystemsJan Bækgaard Pedersen. 363-376

Compiling CSPFred R. M. Barnes. 377-388

A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk)Peter H. Welch. 389

runs on WebDSL