Communicating sequential processes
著者
書誌事項
Communicating sequential processes
(Prentice-Hall International series in computer science)
Prentice-Hall International, c1985
- : pbk
大学図書館所蔵 件 / 全56件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 251-252
Includes index
内容説明・目次
内容説明
This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.
目次
1. Processes2. Concurrency3. Nondeterminism4. Communication5. Sequential Processes6. Shared Resources7. Discussion
「Nielsen BookData」 より