Prioritised dynamic communicating and mobile processes. - Fred R. M. Barnes; Peter H. Welch (IEE Proc. Softw., 2003)

Dynamics and pragmatics for high performance concurrency. - Frederick R. M. Barnes (2003)

Communicating Mobile Processes. - Peter H. Welch; Fred R. M. Barnes (25 Years Communicating Sequential Processes, 2004)

An Architecture for Modelling Emergence in CA-Like Systems. - Fiona Polack; Susan Stepney; Heather R. Turner; Peter H. Welch; Fred R. M. Barnes (ECAL, 2005)

Barrier Synchronisation for occam-pi. - Fred R. M. Barnes; Peter H. Welch; Adam T. Sampson (PDPTA, 2005)

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. - Peter H. Welch; Brian Vinter; Fred R. M. Barnes (PDPTA, 2005)

Interfacing C and occam-pi. - Fred R. M. Barnes (CPA, 2005)

Lazy Cellular Automata with Communicating Processes. - Adam T. Sampson; Peter H. Welch; Fred R. M. Barnes (CPA, 2005)

Mobile Barriers for occam-pi: Semantics, Implementation and Application. - Peter H. Welch; Fred R. M. Barnes (CPA, 2005)

Communicating Complex Systems. - Peter H. Welch; Fred R. M. Barnes; Fiona Polack (ICECCS, 2006)

Compiling CSP. - Fred R. M. Barnes (CPA, 2006)

Video Processing in occam-pi. - Carl G. Ritson; Adam T. Sampson; Fred R. M. Barnes (CPA, 2006)

A Process Oriented Approach to USB Driver Development. - Carl G. Ritson; Fred R. M. Barnes (CPA, 2007)

A CSP Model for Mobile Channels. - Peter H. Welch; Fred R. M. Barnes (CPA, 2008)

Mobile Escape Analysis for occam-pi. - Frederick R. M. Barnes (CPA, 2009)

Checking process-oriented operating system behaviour using CSP and refinement. - Fred R. M. Barnes; Carl G. Ritson (ACM SIGOPS Oper. Syst. Rev., 2009)

Process-oriented device driver development. - Fred R. M. Barnes; Carl G. Ritson (Concurr. Comput. Pract. Exp., 2010)

Adding Formal Verification to occam-π. - Peter H. Welch; Jan Bækgaard Pedersen; Fred R. M. Barnes; Carl G. Ritson; Neil C. C. Brown (CPA, 2011)

Data Escape Analysis for Process Oriented Systems. - Martin Ellis; Frederick R. M. Barnes (CPA, 2012)

Multicore scheduling for lightweight communicating processes. - Carl G. Ritson; Adam T. Sampson; Frederick R. M. Barnes (Sci. Comput. Program., 2012)

Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. - K. I. Kapinchev; Fred R. M. Barnes; Adrian Bradu; Adrian Gh. Podoleanu (SMC, 2013)

The Guppy Language: an Update. - Frederick R. M. Barnes (CPA, 2013)

Exploring GPGPU Acceleration of Process-Oriented Simulations. - Frederick R. M. Barnes; Thomas Pressnell; Brendan Le Foll (CPA, 2013)

An Evaluation of Intel's Restricted Transactional Memory for CPAs. - Carl G. Ritson; Frederick R. M. Barnes (CPA, 2013)

Mutually Assured Destruction (or the Joy of Sync). - Peter H. Welch; Jan Bækgaard Pedersen; Frederick R. M. Barnes (CPA, 2013)

GPU implementation of cross-correlation for image generation in real time. - Konstantin Kapinchev; Adrian Bradu; Frederick R. M. Barnes; Adrian Gh. Podoleanu (ICSPCS, 2015)

Parallel approaches to integration with applications in optical coherence tomography. - Konstantin Kapinchev; Frederick R. M. Barnes; Sylvain Rivet; Adrian Bradu; Adrian Gh. Podoleanu (ICSPCS, 2016)