Formal methods for concurrency
著者
書誌事項
Formal methods for concurrency
International Thomson Computer Press, c1996
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references (p. [283]-284) and index
内容説明・目次
内容説明
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.
目次
Introduction to Concurrency. Building Specifications: A Language for Concurrency. Formal Definition. A First Case Study. Value Passing. Traffic Lights. Time. The Home Heating System. Reasoning About Speficiations: Theories of Equivalence. Equational Laws. Properties of Specifications. Safety and CCS. Tools, Methods and Lifecysles: Tool Support. Lifecycles, Methods and CCS. Implementation Issues. Reference Manual: Syntax and Semantics. Equivalences. Equational Laws. Temporal Logic.
「Nielsen BookData」 より