Distributed System Analysis With CCS
- List Price: $66.00
- Binding: Paperback
- Edition: 1
- Publisher: Prentice Hall PTR
- Publish date: 12/04/1996
Introduces important new techniques for analyzing distributed systems using CCS.
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.