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"

• Finitary Refinement Checks for Infinitary Specifications  A. W. Roscoe, 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]
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"

• An Automatic Translation of CSP to Handel-C  Jonathan D. Phillips, G. S. Stiles, 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]
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"

• On Linear Time and Congruence in Channel-Passing Calculi  Frederic Peschanski, 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]
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"

• Prioritised Service Architecture Ian R. East, 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]
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"

• Debugging and Verification of Parallel Systems - the picoChip Way  Andrew Duller, Gajinder Panesar, Daniel Towner, 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]
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"

• Active Serial Port: A Component for JCSPNet Embedded Systems  Sarah Clayton, 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]
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 Transterpreter: A Transputer Interpreter  Christian L. Jacobsen, Matthew C. Jadud, 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]
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"

• Adding Mobility to Networked Channel-Types  Mario Schweigler, 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]
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 Comparison of Three MPI Implementations  Brian Vinter, John Markus Bjørndalen, 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]
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"

• An Evaluation of Inter-Switch Connections  Hans Henrik Happe, Brian Vinter, 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]
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"

• Observing Processes 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"
  [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"

• Triples Adrian E. Lawrence, 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]
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"

• C++CSP Networked  Neil C.C. Brown, 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]
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"

• Communicating Mobile Processes  Frederick R. M. Barnes, 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, PPT]
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"

• Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid  Jeremy M. R. Martin, Alex V. Tiskin, 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, PPT]
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"

• CSP: The Best Concurrent-System Description Language in the World - Probably!  Michael Goldsmith, 6 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"

• Graphical Tool for Designing CSP Systems  Jan F. Broenink, Dusko S. Jovanovic, 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]
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 Semantics for Prioritized Alternation 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"
  [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"

• Refining Industrial Scale Systems in Circus  Marcel Oliveira, Ana Cavalcanti, Jim Woodcock, 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]
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"

• K-CSP Component Based Development of Kernel Extensions  Bernhard H.C. Sputh, 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]
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"

• Chaining Communications Algorithms with CSP  Oliver Faust, Bernhard H.C. Sputh, David Endler, 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]
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 CSP to Verify Aspects of an Occam-to-FPGA Compiler  Roger M. A. Peel, Wong Han Feng Javier, 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]
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"

• Focussing on Traces to Link VCR and CSP  Marc L. Smith, 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]
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"

• Design of a Transputer Core and Implementation in an FPGA  Makoto Tanaka, Naoya Fukuchi, Yutaka Ooki, Chikara Fukunaga, 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"

• Reconfigurable Hardware Synthesis of the IDEA Cryptographic Algorithm  Ali E. Abdallah, I. W. Damaj, 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]