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"

• Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures  Samson Abramsky, 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]
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"

• How to Soar with CSP  Colin O'Halloran, 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"
  [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 CSP Model for Mobile Channels Peter H. Welch, Frederick R. M. Barnes, 17 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 Scala Objects  Bernard Sufrin, 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"

• Combining EDF Scheduling with occam using the Toc Programming Language  Martin Korsgaard, Sverre Hendseth, 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"

• Communicating Haskell Processes: Composable Explicit Concurrency Using Monads  Neil C.C. Brown, 17 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"

• Two-Way Protocols for occam-π  Adam T. Sampson, 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]
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"

• Prioritized Service Architecture: Refinement and Visual Design Ian R. East, 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"
  
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"

• Experiments in Translating CSP||B to Handel-C  Steve Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill, 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]
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"

• FPGA Based Control of a Production Cell System  Marcel A. Groothuis, Jasper J.P. Van Zuijlen, Jan F. Broenink, 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"

• Shared-Clock Methodology for Time-Triggered Multi-Cores  Keith F. Athaide, Michael J. Pont, Devaraj Ayavoo, 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"

• Transfer Request Broker: Resolving Input-Output Choice  Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 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]
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"

• Mechanical Verification of a Two-Way Sliding Window Protocol  Bahareh Badban, Wan Fokkink, Jaco Van De Pol, 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]
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"

• RRABP: Point-to-Point Communication over Unreliable Components  Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 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]
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"

• IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks  Oliver Faust, Bernhard H.C. Sputh, Alastair R. Allen, 17 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"

• Asynchronous Active Objects in Java  George Oprean, Jan Bækgaard Pedersen, 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"

• JCSPre: the Robot Edition To Control LEGO NXT Robots  Jon Kerridge, Alex Panayotopoulos, Patrick Lismore, 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"

• A Critique of JCSP Networking  Kevin Chalmers, Jon Kerridge, Imed Romdhani, 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]
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"

• Virtual Machine Based Debugging for occam-π  Carl G. Ritson, Jonathan Simpson, 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]
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"

• Process-Oriented Collective Operations  John Markus Bjørndalen, Adam T. Sampson, 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"

• Representation and Implementation of CSP and VCR Traces  Neil C.C. Brown, Marc L. Smith, 17 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"

• CSPBuilder - CSP based Scientific Workflow Modeling  Rune Møllegard Friborg, Brian Vinter, 17 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"

• Visual Process-Oriented Programming for Robotics  Jonathan Simpson, Christian L. Jacobsen, 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"

• Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques  Jason Hurt, Jan Bækgaard Pedersen, 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"

• Mobile Agents and Processes using Communicating Process Architectures  Jon Kerridge, Jens-Oliver Haschke, Kevin Chalmers, 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"

• YASS: a Scalable Sensornet Simulator for Large Scale Experimentation  Jonathan Tate, Iain Bate, 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"

• Modelling a Multi-Core Media Processor Using JCSP  Anna Kosek, Jon Kerridge, Aly Syed, 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]
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"

• How to Make a Process Invisible  Neil C.C. Brown, 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"
  [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"

• Designing Animation Facilities for gCSP  Hans T.J. van der Steen, Marcel A. Groothuis, Jan F. Broenink, 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"
  
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"

• Tock: One Year On  Adam T. Sampson, Neil C.C. Brown, 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"
  
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"

• Introducing JCSP Networking 2.0  Kevin Chalmers, 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"
  
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 Processes in an Ant Simulation  Eric Bonnici, 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"
  
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"

• Santa Claus - with Mobile Reindeer and Elves Peter H. Welch, Jan Bækgaard Pedersen, 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"
  
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"

• Lego Robots Using JCSP  Jon Kerridgedb_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"

• Handel-C Source Level Debugging  Herman Roebbersdb_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 Guaranteeing Process Oriented Program Behaviour  Frederick R. M. Barnesdb_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"

• PICOMS: Prioritised Inferred Choice Over Multiway Synchronisation  Douglas N. Warrendb_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"

• Designing with Software Defined Silicon  A. Dixondb_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"

• Santa's Groovy Helper  Jon Kerridgedb_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"