Search Results - "case studies"

Refine Results
  1. 5361
  2. 5362
  3. 5363
  4. 5364
  5. 5365
  6. 5366
  7. 5367
  8. 5368
  9. 5369
  10. 5370
  11. 5371
  12. 5372
  13. 5373
  14. 5374
  15. 5375

    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
  16. 5376
  17. 5377
  18. 5378
  19. 5379
  20. 5380