Concurrent Systems by Michael G Hinchey
This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.
| SKU | Unavailable |
| ISBN 13 | 9780077076498 |
| ISBN 10 | 0077076494 |
| Title | Concurrent Systems |
| Author | Michael G Hinchey |
| Series | Mcgraw-Hill International Series In Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | McGraw-Hill Education - Europe |
| Year published | 1995-02-10 |
| Number of pages | 181 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |