Distributed systems analysis with CCS
著者
書誌事項
Distributed systems analysis with CCS
(Prentice-Hall International series in computer science)
Prentice Hall, 1997
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 162-164
Includes index
内容説明・目次
内容説明
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.
目次
CCS and Software Engineering. Modelling Systems. Reasoning about Systems. Triple-Modular Redundancy. On-the-Fly Garbage Collection. A Shared-Memory Communication Protocol. Modelling Systems at the Design Stage. A More Expressive Notation for Specifications. The Concurrency Workbench. A Language for Value-Passing CCS. Workbench Input Files.
「Nielsen BookData」 より