Communicating sequential processes

著者

• Hoare, C. A. R. (Charles Antony Richard)

書誌事項

Communicating sequential processes

C.A.R. Hoare

（Prentice-Hall International series in computer science）

Prentice-Hall International, c1985

• : pbk

注記

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」 より

詳細情報

• NII書誌ID(NCID): BA00618492
• ISBN:
  • 0131532715
  • 0131532898
• LCCN: 84022324
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Englewood Cliffs, N.J.
• ページ数/冊数: viii, 256 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005
• 件名:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Parallel processing (Electronic computers)
• 親書誌ID:
  • BA00010507