Industrial-Sized Deals TextBTS15 Shop Women's Handbags Learn more nav_sap_SWP_6M_fly_beacon $5 Albums $5 Off Fire TV Stick Grocery Shop Popular Services gotS5 gotS5 gotS5  Amazon Echo Starting at $99 Kindle Voyage Metal Gear Solid 5 Shop Back to School with Amazon Back to School with Amazon Outdoor Recreation STEM Toys & Games

Concurrent and Real-time Systems: The CSP Approach 1st Edition

1 customer review
ISBN-13: 978-0471623731
ISBN-10: 0471623733
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Buy used
$25.40
Buy new
$91.02
More Buying Choices
25 New from $67.24 19 Used from $25.38
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


InterDesign Brand Store Awareness Textbooks
$91.02 FREE Shipping. In Stock. Ships from and sold by Amazon.com. Gift-wrap available.

Editorial Reviews

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

NO_CONTENT_IN_FEATURE


Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • 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: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #3,603,645 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

2 of 3 people found the following review helpful By Sabina on April 22, 2003
Format: Paperback
The book talks about processes that happen in real time... Is there anything that cannot be seen as a real-time process? Not really...then how is it possible to even attempt such a goal?
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Concurrent and Real-time Systems: The CSP Approach
This item: Concurrent and Real-time Systems: The CSP Approach
Price: $91.02
Ships from and sold by Amazon.com
Want to discover more products? Check out this page to see more: software development