Items related to Concurrent And Real-Time Systems: The CSP Approach...
Concurrent And Real-Time Systems: The CSP Approach (Worldwide Series in Computer Science) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.
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
From the Inside Flap
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
"About this title" may belong to another edition of this title.
- PublisherJohn Wiley & Sons
- Publication date1999
- ISBN 10 0471623733
- ISBN 13 9780471623731
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages528
Search results for Concurrent And Real-Time Systems: The CSP Approach...
Stock Image
Concurrent and Real-Time Systems : The CSP Approach
Published by
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1st Edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP27658983
Quantity: 1 available
Stock Image
Concurrent and Real-Time Systems : The CSP Approach
Published by
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1st Edition. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 16358883-20
Quantity: 1 available
Stock Image
Concurrent and Real-Time Systems: The CSP Approach
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780471623731. Seller Inventory # 9829928
Quantity: 1 available
Stock Image
Concurrent And Real-Time Systems
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-863-277
Quantity: 1 available
Stock Image
Concurrent and Real-Time Systems : The CSP Approach
Published by
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Used
Softcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 1st Edition. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5075371-6
Quantity: 2 available
Stock Image
Concurrent and Real-Time Systems: The CSP Approach
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 2.05. Seller Inventory # G0471623733I2N00
Quantity: 1 available
Seller Image
Concurrent And Real-Time Systems: The CSP Approach (Worldwide Series in Computer Science) The CSP Approach
Published by
John Wiley & Sons 05.11.1999., 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Used
Softcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Auflage: 1. Auflage. 528 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,4 x 16,8 x 3,6 cm, Taschenbuch. Seller Inventory # 368165
Quantity: 1 available
Seller Image
Concurrent and Real-Time Systems : The Csp Approach
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 33960
Quantity: Over 20 available
Seller Image
Concurrent and Real-Time Systems : The Csp Approach
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33960-n
Quantity: Over 20 available
Stock Image
Concurrent and Real-time Systems (Paperback)
Published by
John Wiley & Sons Inc, New York, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
New
Paperback
First Edition
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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: 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 volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780471623731
Quantity: 1 available