Concurrent And Real-time Systems: The CSP Approach Steve Schneider
| Use attributes for filter ! | |
| Published | 2000 |
|---|---|
| Authors | Steve Schneider |
| Media actions | www.worldcat.org |
| Get book actions | www.worldcat.org |
| Date of Reg. | |
| Date of Upd. | |
| ID | 4037482 |
About Concurrent And Real-time Systems: The CSP Approach 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. ...
