Distributed System Analysis with CCS - Glenn Bruns - Paperback

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.Bruns, Glenn is the author of 'Distributed System Analysis with CCS - Glenn Bruns - Paperback' with ISBN 9780133983890 and ISBN 0133983897.