Fred R. M. Barnes

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

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

Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (Eds.): 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Concurrent Systems Engineering Series 68, IOS Press 2011, isbn 978-1-60750-773-4

Fred R. M. Barnes, Carl G. Ritson: Process-oriented device driver development. Concurrency and Computation: Practice and Experience 22(8): 995-1006 (2010)

Fred R. M. Barnes, Carl G. Ritson: Checking process-oriented operating system behaviour using CSP and refinement. Operating Systems Review 43(4): 45-49 (2009)

Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Multicore Scheduling for Lightweight Communicating Processes. COORDINATION 2009: 163-183

Frederick R. M. Barnes: Mobile Escape Analysis for occam-pi. CPA 2009: 117-134

Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter (Eds.): The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Concurrent Systems Engineering Series 67, IOS Press 2009, isbn 978-1-60750-065-3

Peter H. Welch, Fred R. M. Barnes: A CSP Model for Mobile Channels. CPA 2008: 17-33

Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.): The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Concurrent Systems Engineering Series 66, IOS Press 2008, isbn 978-1-58603-907-3

Carl G. Ritson, Fred R. M. Barnes: A Process Oriented Approach to USB Driver Development. CPA 2007: 323-338

Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120

Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Video Processing in occam-pi. CPA 2006: 311-329

Fred R. M. Barnes: Compiling CSP. CPA 2006: 377-388

Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes (Eds.): The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006. Concurrent Systems Engineering Series 64, IOS Press 2006, isbn 978-1-58603-671-3

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

Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson: Barrier Synchronisation for occam-pi. PDPTA 2005: 173-179

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

Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes: Lazy Cellular Automata with Communicating Processes. CPA 2005: 165-175

Fred R. M. Barnes: Interfacing C and occam-pi. CPA 2005: 249-260

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

Peter H. Welch, Fred R. M. Barnes: Communicating Mobile Processes. 25 Years Communicating Sequential Processes 2004: 175-210

Fred R. M. Barnes, Peter H. Welch: Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software 150(2): 121-136 (2003)