Specification and Proof in Real Time CSP: (Distinguished Dissertations in Computer Science)
By
Jim Davies (Author)
Paperback
Available / dispatched within 1 - 2 weeks
Quantity
Description
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given. Worked examples or Exercises
More Details
- Contributor: Jim Davies
- Imprint: Cambridge University Press
- ISBN13: 9781107403864
- Number of Pages: 200
- Packaged Dimensions: 170x244x11mm
- Packaged Weight: 330
- Format: Paperback
- Publisher: Cambridge University Press
- Release Date: 2012-01-12
- Series: Distinguished Dissertations in Computer Science
- Binding: Paperback / softback
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.