Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Article

Barnes, Frederick R. M. and Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Oper. Syst. Rev., 43 (4). pp. 182-196. ISSN 0163-5980. (The full text of this publication is not available from this repository)

Conference or workshop item

Barnes, Frederick R. M. (2009) Mobile Escape Analysis for occam-pi. In: Communicating Process Architectures 2009. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 17 14:11:06 2014 BST.