You might also like

More about Specification and Proof in Real Time CSP

• Book details
• Synopsis
• Trending among others

You get 168 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

• Full title: Specification and Proof in Real Time CSP
• Author: Jim Davies
• Language: English
• Binding: Paperback
• Number of pages: 200
• EAN: 9781107403864
• ISBN: 1107403863
• ID: 02051359
• Publisher: Cambridge University Press
• Weight: 330 g
• Dimensions: 244 × 170 × 11 mm
• Date of publishing: 12. January 2012

Trending among others

---

---

---