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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

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 Wed May 22 22:03:45 2013 BST.