Proceedings details

Title: Communicating Process Architectures 2006
Editors: Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
Publisher: IOS Press, Amsterdam
ISBN: 978-1-58603-671-3
ISSN: 1383-7575
Items:

A Fast Resolution of Choice between Multiway Synchronisations Peter H. Welch, 1 page
SpaceWire - DS-Links Reborn Barry M. Cook, Paul Walker, 12 pages [PDF]
An Introduction to CSP.NET Alex Lehmberg, Martin N. Olsen, 18 pages [PDF]
Performance Evaluation of JCSP Micro Edition: JCSPme Kevin Chalmers, Jon Kerridge, Imed Romdhani, 10 pages [PDF]

Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. Jon Kerridge, Kevin Chalmers, 18 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

CSP for .NET Based on JCSP Kevin Chalmers, Sarah Clayton, 18 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

pony - The occam-pi Network Environment Mario Schweigler, Adam T. Sampson, 32 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

A Study of Percolation Phenomena in Process Networks Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 13 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Portable CSP Based Design for Embedded Multi-Core Systems Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

A JCSP.net Implementation of a Massively Multiplayer Online Game Shyam Kumar, G. S. Stiles, 15 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

SystemCSP - Visual Notation Bojan Orlic, Jan F. Broenink, 27 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Interacting Components Bojan Orlic, Jan F. Broenink, 24 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

TCP Input Threading in High Performance Distributed Systems Hans Henrik Happe, 11 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

A Cell Transterpreter Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud, 10 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Mobile Robot Control: The Subsumption Architecture and occam-pi Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Rain: A New Concurrent Process-Oriented Programming Language Neil C.C. Brown, 15 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Rain VM: Portable Concurrency through Managing Code Neil C.C. Brown, 15 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Native Code Generation using the Transterpreter. Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Compositions of Concurrent Processes Mark Burgin, Marc L. Smith, 16 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Software Specification Refinement and Verification Method with I-Mathic Studio. Gerald H. Hilderink, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Video Processing in occam-pi Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes, 19 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple) Øyvind Teig, 8 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

A Circus Development and Verification of an Internet Packet Filter. Alistair A. McEwan, 24 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Classification of Programming Errors in Parallel Message Passing Systems Jan Bækgaard Pedersen, 14 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

Compiling CSP Frederick R. M. Barnes, 12 pagesdb_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
[PDF]

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.