Process algebra
著者
書誌事項
Process algebra
（Cambridge tracts in theoretical computer science, 18）
Cambridge University Press, 1990
大学図書館所蔵 件 / 全33件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 227-234
Includes indexes
内容説明・目次
内容説明
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
目次
- 1. Preliminaries
- 2. Basic process algebra
- 3. Concurrent processes
- 4. Communication
- 5. Abstraction
- 6. Features
- 7. Semantics
- 8. Sources and related work
- Bibliography.
「Nielsen BookData」 より