Concurrent systems : formal development in CSP
著者
書誌事項
Concurrent systems : formal development in CSP
(The McGraw-Hill international series in software engineering)
McGraw-Hill, c1995
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 165-176) and index
内容説明・目次
内容説明
This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.
目次
- An introduction to CSP
- semantic models
- variants of CSP
- laws of CSP
- elements of CSP style
- case study - a reliable network protocol
- occam
- refinement
- select CSP and occam bibliography.
「Nielsen BookData」 より