RMoX logo

RMoX

A Scalable, Compositional Operating-System
for Commodity Platforms

   

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...

occam-pi

Valid XHTML 1.0!

Valid CSS!

Last modified: 2010-04-25 11:08:54.000000000 +0100 by Fred Barnes
Copyright © 2003-2009 Fred Barnes, University of Kent