Skip to main content
PBS logo
 
 

Search - Concurrent and Real-time Systems: The CSP Approach

Concurrent and Real-time Systems: The CSP Approach
Concurrent and Realtime Systems The CSP Approach
Author: Steve Schneider
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 theor...  more »
ISBN-13: 9780471623731
ISBN-10: 0471623733
Publication Date: 11/5/1999
Pages: 526
Rating:
  ?

0 stars, based on 0 rating
Publisher: John Wiley Sons
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: