Description:
Introduces important new techniques for analyzing distributed systems using CCS.
Expand description
This book describes how distributed systems can be analyzed using the process of notational CCS, temporal logic, and automatic tools. The core of the book is a series of case studies showing how CCS has been applied to distributed systems recently developed in industry. The book is self-contained. It starts with a discussion of how CCS and its theory address the needs of software engineers, then introduces both CCS and temporal logic. Every chapter contains exercises, and appendices describe available analysis tools in detail.

Please Wait