Concurrent And Real-time Systems: The CSP Approach
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Published | 2000 |
| Authors | Steve Schneider |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3676019 |
About Concurrent And Real-time Systems: The CSP Approach
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. ...