Distributed System Analysis with CCS [Textbook Binding]

Glenn Bruns (Author), Glenn Burns (Author)

Book Description

Publication Date: December 4, 1996 | Series: Prentice Hall International Series in Computer Science

This book describes how distributed systems can be analysed using the process notation CCS, temporal logic, and automatic tools. The core of the book is a series of chapters showing how CCS has been applied to classic case studies in distributed systems and to sytems recently developed in industry. In each case the system is described, a CCS model of the system is presented, properties of the system are expressed in temporal logic, and the analysis results are shown. The book is self-contained. It starts with a discussion of how CCS and its theory addresses the needs of software engineering. Then CCS and temporal logic are introduced in a tutorial style with many examples. Every chapter contains exercises to test the reader's understanding and to suggest alternative modelling approaches. Appendices describe the analysis tools and show the models in the format actually supplied to the tool. A unique feaure of the book is its careful discussion of modelling issues and its pragmatic, engineering perspective.

Editorial Reviews

From the Back Cover

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.For developers interested in distributed systems.

Product Details

• Textbook Binding: 200 pages
• Publisher: Prentice Hall PTR; 1st edition (December 4, 1996)
• Language: English
• ISBN-10: 0133983897
• ISBN-13: 978-0133983890
• Product Dimensions: 9.1 x 6.8 x 0.4 inches
• Shipping Weight: 12 ounces
• Amazon Best Sellers Rank: #8,390,225 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.