Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Carl G. Ritson
2010 – today
- 2012
[j4]Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes: Multicore scheduling for lightweight communicating processes. Sci. Comput. Program. 77(6): 727-740 (2012)- 2011
- [c10]Carl G. Ritson, Paul S. Andrews, Adam T. Sampson: Object Store Based Simulation Interworking. CPA 2011: 243-253
- [c9]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
- 2010
- [j3]Carl G. Ritson, Peter H. Welch: A process-oriented architecture for complex system modelling. Concurrency and Computation: Practice and Experience 22(8): 965-980 (2010)
- [j2]Fred R. M. Barnes, Carl G. Ritson: Process-oriented device driver development. Concurrency and Computation: Practice and Experience 22(8): 995-1006 (2010)
2000 – 2009
- 2009
- [j1]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)
- [c8]Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Multicore Scheduling for Lightweight Communicating Processes. COORDINATION 2009: 163-183
- [c7]
- [c6]Jonathan Simpson, Carl G. Ritson: Toward Process Architectures for Behavioural Robotics. CPA 2009: 375-386
- [e1]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
- 2008
- [c5]
- 2007
- [c4]Carl G. Ritson, Peter H. Welch: A Process-Oriented Architecture for Complex System Modelling. CPA 2007: 249-266
- [c3]Carl G. Ritson, Fred R. M. Barnes: A Process Oriented Approach to USB Driver Development. CPA 2007: 323-338
- [c2]
- 2006
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team