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