Proceedings details

db_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"
Title: Communicating Process Architectures 2005
Subtitle: WoTUG-28
Editors: db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Jan F. Broenink, Herman Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Publisher: IOS Press, Amsterdam
ISBN: 978-1-58603-561-7
ISSN: 1383-7575
Items:

Communication and Synchronisation in the Cell Processor H. Peter Hofstee, 1 pagedb_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"

Homogeneous Multiprocessing for Consumer Electronics Paul Stravers, 1 pagedb_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"

Handshake Technology: High Way to Low Power Ad Peeters, 1 pagedb_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"

If Concurrency in Software is So Simple, Why is it So Hard? Guy Broadfoot, 1 pagedb_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"

Interfacing with Honeysuckle by Formal Contract Ian R. East, 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]

Groovy Parallel! A Return to the Spirit of occam? Jon Kerridge, Ken Barclay, John Savage, 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]

On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software Dusko S. Jovanovic, Bojan Orlic, Jan F. Broenink, 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]

Automatic Handel-C Generation from MATLAB® and Simulink® for Motion Control with an FPGA Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman Roebbers, 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"

JCSP-Poison: Safe Termination of CSP Process Networks Bernhard H.C. Sputh, Alastair R. Allen, 37 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]

jcsp.mobile: A Package Enabling Mobile Processes and Channels Kevin Chalmers, Jon Kerridge, 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]

CSP++: How Faithful to CSPm? W. B. Gardner, 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]

Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij, 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]

Improving TCP/IP Multicasting with Message Segmentation Hans Henrik Happe, Brian Vinter, 9 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]

Lazy Cellular Automata with Communicating Processes Adam T. Sampson, Peter H. Welch, Frederick R. M. Barnes, 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"

A Unifying Theory of True Concurrency Based on CSP and Lazy Observation Marc L. Smith, 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]

The Architecture of the Minimum intrusion Grid (MiG) Brian Vinter, 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]

Verification of JCSP Programs Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt, 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]

Architecture Design Space Exploration for Streaming Applications through Timing Analysis Maarten H. Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen, 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]

A Foreign Function Interface Generator for occam-pi Damian J. Dimmich, Christian L. Jacobsen, 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]

Interfacing C and occam-pi 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"

Interactive Computing with the Minimum intrusion Grid (MiG) John Markus Bjørndalen, Otto J. Anshus, Brian Vinter, 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]

High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Arash Saifhashemi, Peter A. Beerel, 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]

Mobile Barriers for occam-pi: Semantics, Implementation and Application Peter H. Welch, Frederick R. M. Barnes, 28 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, PDF]

Exception Handling Mechanism in Communicating Threads for Java Gerald H. Hilderink, 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]

R16: a New Transputer Design for FPGAs John Jakson, 28 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]

Towards Strong Mobility in the Shared Source CLI Johnston Stewart, Patrick Nixon, Tim Walsh, Ian Ferguson, 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]

gCSP occam Code Generation for RMoX Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink, 9 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]

Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach Mihai Ivanovici, Razvan Beuran, Neil Davies, 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"

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.