+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Specification and Proof in Real Time CSP : Distinguished Dissertations in Computer Science - Jim Davies

Specification and Proof in Real Time CSP

Distinguished Dissertations in Computer Science

Hardcover Published: 25th June 1993
ISBN: 9780521450553
Number Of Pages: 200

Share This Book:


or 4 easy payments of $65.24 with Learn more
Ships in 7 to 10 business days

Earn 522 Qantas Points
on this Book

Other Available Editions (Hide)

  • Paperback View Product Published: 12th January 2012

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 behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) 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 for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Industry Reviews

"...definitely a large step forward. I recommend this book to anyone who is interested in the formalization of real-time processes." Martin Rem, Computing Reviews

The language of CSP
The timed failure model
Recursive processes
Structuring specification
Case study
Broadcast information
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521450553
ISBN-10: 0521450551
Series: Distinguished Dissertations in Computer Science
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 200
Published: 25th June 1993
Country of Publication: GB
Dimensions (cm): 24.89 x 17.53  x 1.52
Weight (kg): 0.5

Earn 522 Qantas Points
on this Book