Publisher's Synopsis
Clive Fencott has written a practical introduction to the complex subject of formal theories of concurrency. Supported throughout by examples and exercises, the practical applicability of the methods is demonstrated and the benefits of rigorous approach made clear.;This book presents a variety of formal theories and uses a range of approaches rather than any one language or theory. These theories are applicable to both hardware and software systems. Particular emphasis is placed on data communications and the Lotus language. students and teachers will welcome this textbook as it makes a complex and difficult subject intelligible.;This book should be of interest to final year undergraduates, MSc students, software engineers and managers, and those involved in safety-critical systems.
