Glenn Bruns, Edinburgh University

Published December, 1996 by Prentice Hall PTR (ECS Professional)

Copyright 1997, 200 pp.
Paper
ISBN 0-13-398389-7
$57.00

Sign up for future
mailings on this subject.

See other books about:
    Distributed Systems/Client-Server

This unique book stresses a pragmatic, engineering approach to the modelling and analysis of distributed systems. Shows how distributed systems can be analysd using the process notation CCS, temporal logic and automatic tools.

Describes steps of the modelling process, explains modelling decisions in detail and shows how to deal with limitations of the theory and tools. After covering basic theory, it describes how CCS has been applied to both classic distributed systems and recently developed industrial systems. In each case the system is modelled, its properties are expressed in temporal logic and the analysis results discussed. Every chapter contains exercises, and appendices describe available analysis tools in detail.



Understand CCS, a breakthrough in analyzing and engineering distributed systems.

• Includes a careful, pragmatic, engineering-based discussion of modeling issues.

• Tutorial style, with many examples and exercises.

• Includes multiple case studies, showing models, system properties and analysis results.