Specification and Proof in Real Time CSP
Author | : Jim Davies |
Publisher | : Cambridge University Press |
Total Pages | : 208 |
Release | : 1993-05-20 |
ISBN-10 | : 0521450551 |
ISBN-13 | : 9780521450553 |
Rating | : 4/5 (553 Downloads) |
Download or read book Specification and Proof in Real Time CSP written by Jim Davies and published by Cambridge University Press. This book was released on 1993-05-20 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research contained in this book represents work on the specification and verification of real-time systems using CSP.