WoTUG - The place for concurrent processes

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 2001
Subtitle: WoTUG-24
Editors: db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Alan G. Chalmers, Majid Mirmehdi, Henk Muller
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
Publisher: IOS Press, Amsterdam
ISBN: 1 58603 202 X
ISSN: 1383-7575
Items:
    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"
  • Efficient Execution of Process Networks  T. Basten, J. Hoogerbrugge, 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"
  • 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"
  • Copying, Moving and Borrowing Semantics  David May, Henk Muller, 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]
  • 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"
  • Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures  M. Moore, 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"
  • 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"
  • Adapted OS Link / DS Link Protocols for Use in Mutliprocessor Routing Networks  S. Triger, Brian C. O'Neill, S. Clark, 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"
  • 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"
  • Successes and Failures: Extending CSP Adrian E. Lawrence, 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"
  • 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"
  • CSPP and Event Priority Adrian E. Lawrence, 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"
  • 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"
  • Infinite Traces, Acceptances and CSPP Adrian E. Lawrence, 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"
  • 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"
  • The `Uniform Heterogeneous Multi-Threaded' Processor Architecture  Daniel Towner, David May, 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"
  • 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"
  • Event-Based Design of Concurrent Programs with Java Implementation  H. Rischel, H. Sun, 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"
  • 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"
  • Using Two-, Four- and Eight-Way Multiprocessors as Cluster Components  Brian Vinter, Otto J. Anshus, Tore Larsen, John Markus Bjørndalen, 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"
  • 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"
  • Guarenteed Message Delivery Time on Real-Time Distributed Systems  T. -Y. Yang, G. S. Stiles, 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"
  • 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"
  • A Programming Language for Hardware/Software Co-Design  D. R. Watt, 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"
  • 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"
  • A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays  Roger M. A. Peel, 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"
  • 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"
  • A 40 Gbit/s Network Processor Design Platform  R. McConnell, P. Winser, 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"
  • 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"
  • Working Towards the Agreement Problem Protocol Verification Environment  James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam, 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"
  • 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"
  • Working towards a successor to occam Ian R. East, 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"
  • 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"
  • Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment Peter H. Welch, Frederick R. M. Barnes, 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, PS]
  • 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"
  • tranx86 -- An Optimising ETC to IA32 Translator  Frederick R. M. Barnes, 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, PS]
  • 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"
  • From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile?  Øyvind Teig, 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"
  • 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"
  • CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory?  Øyvind Teig, 4 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"
  • 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"
  • Protocol Verification in Millipede  Jan Bækgaard Pedersen, Alan Wagner, 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"
  • 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"
  • Towards a Viable Alternative to OO -- Extending the occam/CSP Programming Model  Tom Locke, 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"


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.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!