×


 x 

Shopping cart
Steve Schneider - Concurrent and Real Time Systems - 9780471623731 - V9780471623731
Stock image for illustration purposes only - book cover, edition or condition may vary.

Concurrent and Real Time Systems

€ 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

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

Goodreads reviews for Concurrent and Real Time Systems


Subscribe to our newsletter

News on special offers, signed editions & more!