• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Research
• Teaching

Studying

• Becoming a postgraduate
• Becoming an undergraduate

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Publications by Dr Fred Barnes

Publication period   (9/2000 onwards)   -   ordered by publication type and date

Journal Papers

• Process-oriented device driver development. F.R.M. Barnes and C.G. Ritson. Concurrency and Computation: Practice and Experience, 22(8):995-1006, June 2010.
• Checking process-oriented operating system behaviour using csp and refinement. Frederick R. M. Barnes and Carl G. Ritson. SIGOPS Oper. Syst. Rev., 43(4):45-49, December 2009.
• Prioritised Dynamic Communicating and Mobile Processes. F.R.M. Barnes and P.H. Welch. IEE Proceedings-Software, 150(2):121-136, April 2003.
• Testing ethernet networks for the ATLAS data collection system. F.R.M. Barnes, R. Beuran, R.W. Dobinson, M.J. LeVine, B. Martin, J. Lokier, and C. Meirosu. IEEE Trans. Nucl. Sci., 49(2):516-520, April 2002.

Conference Papers

• Mobile escape analysis for occam-pi. Frederick R. M. Barnes. In P.H. Welch, H.W. Roebbers, J.F. Broenink, F.R.M. Barnes, C.G. Ritson, A.T. Sampson, G.S. Stiles, and B. Vinter, editors, Communicating Process Architectures 2009, volume 67 of Concurrent Systems Engineering. IOS Press, November 2009.
• Communicating process architectures 2009. Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and Brian Vinter, editors, volume 67 of Concurrent Systems Engineering, Amsterdam, The Netherlands, November 2009. WoTUG, IOS Press.
• Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009.
• Process-oriented collective operations. John Markus Bjørndalen and Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 309-328, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Representation and implementation of csp and vcr traces. Neil C.C. Brown and Marc L. Smith. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 329-345, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Communicating haskell processes: Composable explicit concurrency using monads. Neil C.C. Brown. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 67-83, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Two-way protocols for occam-pi. Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 85-97, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Visual process-oriented programming for robotics. Jonathan Simpson and Christian L. Jacobsen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 365-380, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Communicating process architectures 2008. Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, volume 66 of Concurrent Systems Engineering, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press.
• Compiling CSP. F.R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Proceedings of Communicating Process Architectures 2006 (CPA-2006), volume 64 of Concurrent Systems Engineering Series, pages 377-388. IOS Press, September 2006.
• Video Processing in occam-pi. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 311-329, Amsterdam, The Netherlands, September 2006. IOS Press.
• Communicating process architectures 2006. P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, volume 64 of Concurrent Systems Engineering Series. IOS Press, September 2006.
• Communicating complex systems. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117, Stanford, California, August 2006. IEEE. ISBN: 0-7695-2530-X.
• Interfacing C and occam-pi. F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 249-260, IOS Press, The Netherlands, September 2005. IOS Press.
• An Architecture for Modelling Emergence in CA-Like Systems. Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes. In Mathieu S. Capcarr`ere, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 427-436, Canterbury, UK, September 2005. Springer.
• Lazy Cellular Automata with Communicating Processes. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 165-175, IOS Press, The Netherlands, September 2005. IOS Press.
• Mobile Barriers for occam-pi: Semantics, Implementation and Application. P.H. Welch and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316, IOS Press, The Netherlands, September 2005. IOS Press.
• Barrier synchronisation for occam-pi. Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press.
• Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid. Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 201-207, Las Vegas, Nevada, USA, June 2005. CSREA Press.
• Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear.
• Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press.
• RMoX: A raw-metal occam experiment. Fred Barnes, Christian Jacobsen, and Brian Vinter. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 269-288, Amsterdam, The Netherlands, September 2003. IOS Press.
• occwserv: An occam web-server. Fred Barnes. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 251-268, Amsterdam, The Netherlands, September 2003. IOS Press.
• Flexible, Transparent and Dynamic occam Networking with KRoC.net. Mario Schweigler, Fred Barnes, and Peter Welch. In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 199-224, Amsterdam, The Netherlands, September 2003. IOS Press.
• Prioritised dynamic communicating processes: Part 1. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 321-352, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
• Prioritised dynamic communicating processes: Part 2. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 353-370, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
• Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. F.R.M. Barnes and P.H. Welch. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 243-264. IOS Press, Amsterdam, The Netherlands, September 2001.
• tranx86 - an Optimising ETC to IA32 Translator. F.R.M. Barnes. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 265-282. IOS Press, Amsterdam, The Netherlands, September 2001.
• Mobile Data Types for Communicating Processes. P.H. Welch and F.R.M. Barnes. In H.R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, volume 1, pages 20-26. CSREA, CSREA Press, June 2001.
• Blocking system calls in KRoC/Linux. Frederick R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 155-178. Computing Laboratory, University of Kent, IOS Press, September 2000.
• Post-Mortem Debugging in KRoC. D.C. Wood and F.R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 179-191. WoTUG, IOS Press (Amsterdam), September 2000.

Miscellaneous

• Dynamics and pragmatics for high performance concurrency. Frederick R.M. Barnes. PhD thesis, University of Kent at Canterbury, June 2003.