Formal Methods for Concurrency by Clive Fencott
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.| SKU | Unavailable |
| ISBN 13 | 9781850321736 |
| ISBN 10 | 1850321736 |
| Title | Formal Methods for Concurrency |
| Author | Clive Fencott |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cengage Learning EMEA |
| Year published | 1996-01-25 |
| Number of pages | 320 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |