Search Results - "On Denoting"

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
  2. 2
  3. 3

    Understanding concurrent systems by Roscoe, A. W.

    Published 2010
    Table of Contents: “…Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility…”
    Click Here to View Status and Holdings.
    Unknown
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11