The aim of the book is to provide a practical introduction to the formal specification of concurrent and real-time systems.
Concurrency means different things to different people.
This book is considering systems such as those which involve multiple processors running co-operating processes which are basically autonomous, but which need to communicate information and synchronise events, i.e. problems typical in applications such as real time control systems. Z. Although this is clearly a subject which involves some mathematics the author uses practical examples such as traffic lights and home heating systems as a means to highlight problems and devise solutions. It is a specialised book suitable for a final year undergraduate or postgraduate module on formal methods for concurrency. Last Update - 11 September 2001. All rights reserved.