- Paperback: 526 pages
- Publisher: Wiley; 1 edition (November 5, 1999)
- Language: English
- ISBN-10: 0471623733
- ISBN-13: 978-0471623731
- Product Dimensions: 7.4 x 1.1 x 9.2 inches
- Shipping Weight: 2 pounds (View shipping rates and policies)
- Average Customer Review: 1 customer review
- Amazon Best Sellers Rank: #3,511,872 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Concurrent and Real-time Systems: The CSP Approach 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
Top 20 lists in Books
View the top 20 best sellers of all time, the most reviewed books of all time and some of our editors' favorite picks. Learn more
From the Back Cover
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. Author's Website containing:
* Exercises and solutions
* Instructor's resources
* Example CSP programs to run on FDR and ProBe
* Links to useful sites
Discover books for all types of engineers, auto enthusiasts, and much more. Learn more
Top customer reviews
The truth is this is not the first book that proves this goal can be achieved. But it is one of the best books I have seen at explaining you why every formal concept in the process algebra is needed and why things are not done in a different way.
Rarely you can find a book that builds a complex theory and yet abounds in real-life examples and problems, at the same time giving very natural and clear explanations.
This is an excellent book for someone that had some knowledge of process algebra before and intends to use it; it is not an introductory book for sure. It might not make sense to read it all once, but to have it and use it when solving problems.