Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

Concurrent and Real Time Systems: The CSP Approach (Worldwide Series in Computer Science) Book

This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and...Read More

from£57.45 | RRP: £44.99
* Excludes Voucher Code Discount Also available Used from £4.68
  • Product Description

    The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analysed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Authors Website containing:

    • Exercises and solutions
    • Instructors resources
    • Example CSP programs to run on FDR and ProBe
    • Links to useful sites

  • 0471623733
  • 9780471623731
  • Steve Schneider
  • 15 September 1999
  • John Wiley & Sons
  • Paperback (Book)
  • 526
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.