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