- Paperback: 526 pages
- Publisher: John Wiley & Sons (15 Sep 1999)
- Language English
- ISBN-10: 0471623733
- ISBN-13: 978-0471623731
- Product Dimensions: 18.1 x 3 x 23 cm
- Average Customer Review: 5.0 out of 5 stars See all reviews (1 customer review)
- Amazon Bestsellers Rank: 867,211 in Books (See Top 100 in Books)
- See Complete Table of Contents
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
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 analyzed 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.
Accompanying website: http://www.cs.rhbnc.ac.uk/books/concurrency
Containing the following:
–Exercises and solutions
–Instructors resources
– Example CSP programs to run on FDR and ProBe
–Links to useful sites
Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event–based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model–checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes.
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.
Accompanying website: http://www.cs.rhbnc.ac.uk/books/concurrency
Containing the following:
–Exercises and solutions
–Instructors resources
– Example CSP programs to run on FDR and ProBe
–Links to useful sites
Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event–based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model–checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes.
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
∗ Exercises and solutions
∗ Instructor′s resources
∗ Example CSP programs to run on FDR and ProBe
∗ Links to useful sites
Inside This Book
(Learn More)
First Sentence
Any approach to describing the world must concentrate on features of interest. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Any approach to describing the world must concentrate on features of interest. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
Most Helpful Customer Reviews
4 of 4 people found the following review helpful
Format:Paperback
Very good CSP book. It explains the main aspects of the language from scratch in a straightforward way, with a lot of very good real world example and exercises. It is not so mathematical oriented like the Roscoe's book, but it is completely formal. It also the only book referene that I known that covers timed aspects of the language.
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
1 review
2 of 3 people found the following review helpful
Talking about almost everything is easier then you think
22 April 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.
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.
Was this review helpful?
Let us know
Listmania!
Look for similar items by category
- Books > Computing & Internet > Computer Science > Architecture & Microprocessors > Microprocessors > Parallel Processing & Computing
- Books > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
- Books > Computing & Internet > Programming > Languages & Tools
- Books > Computing & Internet > Software & Graphics
- Books > Science & Nature > Engineering & Technology > Electronics & Communications Engineering
- Books > Scientific, Technical & Medical > Engineering > Electronics & Telecommunications Engineering
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
