| | |
Frederick R. M. Barnes
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 23 |       | Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes: Multicore scheduling for lightweight communicating processes. Sci. Comput. Program. 77(6): 727-740 (2012) |
| 21 | | 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 |
| 20 | | Fred R. M. Barnes, Carl G. Ritson: Process-oriented device driver development. Concurrency and Computation: Practice and Experience 22(8): 995-1006 (2010) |
| 19 | | Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 IOS Press 2009 |
| 18 | | 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) |
| 13 | | Carl G. Ritson, Fred R. M. Barnes: A Process Oriented Approach to USB Driver Development. CPA 2007: 323-338 |
| 11 | | Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes: Video Processing in occam-pi. CPA 2006: 311-329 |
Selection of 8 from 23 records - Fred R. M. Barnes has 14 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page