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 2007
Editors: db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter H. Welch
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Publisher: IOS Press, Amsterdam
ISBN: 978-1-58603-767-3
ISSN: 1383-7575
Items:

Fine-grain Concurrency Tony Hoare, 20 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"

Communicating Process Architecture for Multicores David May, 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"

Lazy Exploration and Checking of CSP Models with CSPsim Philip J Brooke, Richard F. Paige, 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"

The Core Language of Aldwych Matthew Huntbach, 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"

JCSProB: Implementing Integrated Formal Specifications in Concurrent Java Letu Yang, Michael R. Poppleton, 22 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"

Components with Symbolic Transition Systems: a Java Implementation of Rendezvous Fabricio Fernandes, Robin Passama, Jean-Claude Royer, 20 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"

Concurrent/Reactive System Design with Honeysuckle Ian R. East, 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]

CSP and Real-Time: Reality or Illusion? Bojan Orlic, Jan F. Broenink, 30 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]

Testing and Sampling Parallel Systems Jon Kerridge, 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]

Mobility in JCSP: New Mobile Channel and Mobile Process Models Kevin Chalmers, Jon Kerridge, Imed Romdhani, 20 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]

C++CSP2: A Many-to-Many Threading Neil C.C. Brown, 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]

Design Principles of the SystemCSP Software Framework Bojan Orlic, Jan F. Broenink, 22 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]

PyCSP - Communicating Sequential Processes for Python John Markus Bjørndalen, Brian Vinter, Otto J. Anshus, 20 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 Process-Oriented Architecture for Complex System Modelling Carl G. Ritson, Peter H. Welch, 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]

Concurrency Control and Recovery Management for Open e-Business Transactions Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause, 20 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"

trancell - an Experimental ETC to Cell BE Translator Ulrik Schou Jørgensen, Espen Suenson, 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"

A Versatile Hardware-Software Platform for In-Situ Monitoring Systems Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 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]

High Cohesion and Low Coupling: the Office Mapping Factor Øyvind Teig, 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]

A Process Oriented Approach to USB Driver Development Carl G. Ritson, Frederick R. M. Barnes, 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"

A Native Transterpreter for the LEGO Mindstorms RCX Jonathan Simpson, 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]

Integrating and Extending JCSP Peter H. Welch, Neil C.C. Brown, James Moores, Kevin Chalmers, Bernhard H.C. Sputh, 21 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]

Hardware/Software Synthesis and Verification Using Esterel Satnam Singh, 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"

Modeling and Analysis of the AMBA Bus Using CSP and B Alistair A. McEwan, Steve Schneider, 20 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 Step Towards Refining and Translating B Control Annotations to Handel-C Wilson Ifill, Steve Schneider, 26 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 the Formal Verification of a Java Processor in Event-B Neil Grant, Neil Evans, 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"

Advanced System Simulation, Emulation and Test (ASSET) Gregory Wickstrom, 22 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"

Development of a Family of Multi-Core Devices Using Hierarchical Abstraction Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins, 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"

Domain Specific Transformations for Hardware Ray Tracing Tim Todman, Wayne Luk, 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"

A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions Tanya Vladimirova, Xiaofeng Wu, 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"

Transactional CSP Processes Gail Cassar, Patrick Abela, 2 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"

Algebras of Actions in Concurrent Processes Mark Burgin, Marc L. Smith, 2 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"

Using occam-pi Primitives with the Cell Broadband Engine Damian J. Dimmich, 2 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]

Shared-Memory Multi-Processor Scheduling Algorithms for CCSP Carl G. Ritson, 2 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 occam to C with Tock Adam T. Sampson, 2 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.