Fred R. M. Barnes

	2009
17		Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Multicore Scheduling for Lightweight Communicating Processes. COORDINATION 2009: 163-183
16		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)
	2008
15		Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson: 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 IOS Press 2008
14		Peter H. Welch, Fred R. M. Barnes: A CSP Model for Mobile Channels. CPA 2008: 17-33
	2007
13		Carl G. Ritson, Fred R. M. Barnes: A Process Oriented Approach to USB Driver Development. CPA 2007: 323-338
	2006
12		Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes: 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 IOS Press 2006
11		Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Video Processing in occam-pi. CPA 2006: 311-329
10		Fred R. M. Barnes: Compiling CSP. CPA 2006: 377-388
9		Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120
	2005
8		Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes: Lazy Cellular Automata with Communicating Processes. CPA 2005: 165-175
7		Fred R. M. Barnes: Interfacing C and occam-pi. CPA 2005: 249-260
6		Peter H. Welch, Fred R. M. Barnes: Mobile Barriers for occam-pi: Semantics, Implementation and Application. CPA 2005: 289-316
5		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
4		Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson: Barrier Synchronisation for occam-pi. PDPTA 2005: 173-179
3		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
	2004
2		Peter H. Welch, Fred R. M. Barnes: Communicating Mobile Processes. 25 Years Communicating Sequential Processes 2004: 175-210
	2003
1		Fred R. M. Barnes, Peter H. Welch: Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software 150(2): 121-136 (2003)

Coauthor Index

1	Jan F. Broenink	[15]
2	Jon M. Kerridge	[12]
3	Alistair A. McEwan	[15]
4	Fiona Polack (Fiona A. C. Polack)	[5] [9] [15]
5	Carl G. Ritson	[11] [13] [16] [17]
6	Adam T. Sampson	[4] [8] [11] [15] [17]
7	Susan Stepney	[5] [15]
8	Gardiner S. Stiles	[15]
9	Heather R. Turner	[5]
10	Brian Vinter	[3]
11	Peter H. Welch	[1] [2] [3] [4] [5] [6] [8] [9] [12] [14] [15]