• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research

Studying

• Undergraduate courses
• Postgraduate courses

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 Mr Carl Ritson

Publication period   (9/2006 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.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. Concurrency and Computation: Practice and Experience, 22:965-980, March 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.

Conference Papers

• Toward Process Architectures for Behavioural Robotics. Jonathan Simpson and Carl G. Ritson. In Peter H. Welch, H.W. Roebbers, J.F. Broenink, F.R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and B. Vinter, editors, Communicating Process Architectures 2009, volume 67 of Concurrent Systems Engineering, pages 375-386, Amsterdam, The Netherlands, November 2009. IOS Press.
• 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.
• Virtual Machine Based Debugging for occam-pi. Carl G. Ritson and Jonathan Simpson. 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 Series, pages 293-307, Amsterdam, The Netherlands, September 2008. 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.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 249-266, Amsterdam, The Netherlands, July 2007. IOS Press.
• 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.

Miscellaneous

• Proceedings of the 2010 School of Computing Postgraduate Conference. Laurence Hellyer, Carl G. Ritson, and Jonathan Simpson. Technical Report 2-10, School of Computing, University of Kent, Canterbury, Kent CT2 7NF, UK, April 2010.