Showing 1 - 6 results of 6 for search 'Programming Research Group‚ Oxford University Computing Laboratory', query time: 0.85s Refine Results
  1. 1
    Partial Correctness of Communicating Processes and Protocols

    Partial Correctness of Communicating Processes and Protocols by Hoare, C, Chaochen, Z

    Published 1981
    “…Oxford University Computing Laboratory‚ Programming Research Group…”
    Report
  2. 2
    Laws of Occam Programming

    Laws of Occam Programming by Roscoe, A, Hoare, C

    Published 1986
    “…Oxford University Computing Laboratory‚ Programming Research Group…”
    Report
  3. 3
    The Consistency of the Calculus of Total Correctness for Communicating Processes

    The Consistency of the Calculus of Total Correctness for Communicating Processes by Hoare, C, Chaochen, Z

    Published 1982
    “…Oxford University Computing Laboratory‚ Programming Research Group…”
    Report
  4. 4
    A Tutorial on Proof in Standard Z

    A Tutorial on Proof in Standard Z by Brien, S, Martin, A

    Published 1995
    “…Programming Research Group‚ Oxford University Computing Laboratory…”
    Report
  5. 5
    A Reflective Functional Language for Hardware Design and Theorem Proving

    A Reflective Functional Language for Hardware Design and Theorem Proving by Grundy, J, Melham, T, O'Leary, J

    Published 2003
    “…Programming Research Group‚ Oxford University Computing Laboratory…”
    Report
  6. 6
    Notes on Communicating Sequential Processes

    Notes on Communicating Sequential Processes by Hoare, C

    Published 1983
    “…Oxford University Computing Laboratory‚ Programming Research Group…”
    Report

Search Tools: