Distributed Systems Analysis with CCS

By Glenn Bruns

This book describes how distributed systems can be analyzed using the process notation CCS, temporal logic, and automatic tools. The book consists of a series of chapters showing how CCS has been... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0133983897
• ISBN13: 9780133983890
• Release Date: December 1996
• Publisher: Prentice Hall PTR
• Length: 168 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.8" x 7.1" x 9.6"