Concurrent and Real Time Systems
Steve Schneider
€ 77.83
FREE Delivery in Ireland
Description for Concurrent and Real Time Systems
Paperback. 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. Series: Worldwide Series in Computer Science. Num Pages: 526 pages, illustrations. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 181 x 30. Weight in Grams: 896.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
John Wiley and Sons Ltd United Kingdom
Number of pages
526
Condition
New
Series
Worldwide Series in Computer Science
Number of Pages
528
Place of Publication
New York, United States
ISBN
9780471623731
SKU
V9780471623731
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-50
About Steve Schneider
Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.
Reviews for Concurrent and Real Time Systems