Search Results - Barnes, Frederick R.M.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Checking process-oriented operating system behaviour using CSP and refinement

    Checking process-oriented operating system behaviour using CSP and refinement by Barnes, Frederick R.M., Ritson, Carl G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Multicore scheduling for lightweight communicating processes

    Multicore scheduling for lightweight communicating processes by Ritson, Carl G., Sampson, Adam T., Barnes, Frederick R.M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: