CPA 2006:
Edinburgh,
Scottland,
UK
Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes (Eds.):
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.
Concurrent Systems Engineering Series 64 IOS Press 2006, ISBN 978-1-58603-671-3
- Barry Cook, Paul Walker:
SpaceWire - DS-Links Reborn.
1-12
- Alex A. Lehmberg, Martin N. Olsen:
An Introduction to CSP.NET.
13-30
- Kevin Chalmers, Jon M. Kerridge, Imed Romdhani:
Performance Evaluation of JCSP Micro Edition: JCSPme.
31-40
- Jon M. Kerridge, Kevin Chalmers:
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View.
41-58
- Kevin Chalmers, Sarah Clayton:
CSP for .NET Based on JCSP.
59-76
- Mario Schweigler, Adam T. Sampson:
pony - The occam-pi Network Environment.
77-108
- Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen:
A Study of Percolation Phenomena in Process Networks.
109-121
- Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen:
Portable CSP Based Design for Embedded Multi-Core Systems.
123-134
- Shyam Kumar, Gardiner S. Stiles:
A JCSP.net Implementation of a Massively Multiplayer Online Game.
135-149
- Bojan Orlic, Jan F. Broenink:
SystemCSP - Visual Notation.
151-177
- Bojan Orlic, Jan F. Broenink:
Interacting Components.
179-202
- Hans Henrik Happe:
TCP Input Threading in High Performance Distributed Systems.
203-213
- Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud:
A Cell Transterpreter.
215-224
- Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud:
Mobile Robot Control - The Subsumption Architecture and occam-pi.
225-236
- Neil Brown:
Rain: A New Concurrent Process-Oriented Programming Language.
237-251
- Neil Brown:
Rain VM: Portable Concurrency through Managing Code.
253-267
- Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud:
Native Code Generation Using the Transterpreter.
269-280
- Mark Burgin, Marc L. Smith:
Compositions of Concurrent Processes.
281-296
- Gerald H. Hilderink:
Software Specification Refinement and Verification Method with I-Mathic Studio.
297-310
- Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes:
Video Processing in occam-pi.
311-329
- Øyvind Teig:
No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple).
331-338
- Alistair A. McEwan:
A Circus Development and Verification of an Internet Packet Filter.
339-362
- Jan Bækgaard Pedersen:
Classification of Programming Errors in Parallel Message Passing Systems.
363-376
- Fred R. M. Barnes:
Compiling CSP.
377-388
- Peter H. Welch:
A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk).
389
Copyright © Mon Mar 15 03:56:41 2010
by Michael Ley (ley@uni-trier.de)