Publications

[ papers | articles | other ]

Conference papers

The following papers relate to RMoX:

• Mobile Escape Analysis for occam-pi
  F.R.M. Barnes, Communicating Process Architectures 2009.

• Translating ETC to LLVM Assembly
  C.G. Ritson, Communicating Process Architectures 2009.

• Multicore Scheduling for Lightweight Communicating Processes
  C.G. Ritson, A.T. Sampson and F.R.M. Barnes, Proceedings of the 11th International Conference on Coordination Models and Languages (COORDINATION 2009)
  abstract, bibTeX, PDF (249.3k).

• Safe Parallelism for Behavioural Control
  M.C. Jadud, C.L. Jacobsen, C.G. Ritson and J. Simpson, 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA), IEEE Press

• Virtual Machine Based Debugging for occam-pi
  C.G. Ritson and J. Simpson, Communicating Process Architectures 2008 (CPA-2008)
  abstract, bibTeX, PDF (214.2k).

• A Process-Oriented Architecture for Complex System Modelling
  C.G. Ritson and P.H. Welch, Communicating Process Architectures 2007 (CPA-2007)

• A Process-Oriented Approach to USB Driver Development
  C.G. Ritson and F.R.M. Barnes, Communicating Process Architectures 2007 (CPA-2007)
  abstract, bibTeX, PDF (155.5k).

• RMoX: A Raw-Metal occam Experiment
  F.R.M. Barnes, C.L. Jacobsen and B. Vinter, Communicating Process Architectures 2003 (CPA-2003)
  abstract, bibTeX, PDF (159.0k).

Journal articles

• Process Oriented Device Driver Development
  F.R.M. Barnes and C.G. Ritson, Concurrency and Computation: Practice and Experience. Wiley, 2008.
  (awaiting final publication details), preprint details.

• Checking Process-Oriented Operating System Behaviour using CSP and Refinement
  SIGOPS Oper. Syst. Rev., 43(4):45-49, December 2009
  PDF (102.6k).

Other publications

Presentation PDFs on RMoX...