Error title
Some error text about your books and stuff.
Distributed System Analysis with CCS cover
  • ISBN: 9780133983890
  • ISBN10: 0133983897

Distributed System Analysis With CCS

by Bruns, Glenn

  • List Price: $66.00
  • Binding: Paperback
  • Edition: 1
  • Publisher: Prentice Hall PTR
  • Publish date: 12/04/1996
Currently Unavailable
Notify me when item is in stock
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.

Expand description