Communicating sequential processes

Author(s)

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

Bibliographic Information

Communicating sequential processes

C.A.R. Hoare

（Prentice-Hall International series in computer science）

Prentice-Hall International, c1985

• : pbk

Note

Bibliography: p. 251-252

Includes index

Description and Table of Contents

Description

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.

Table of Contents

1. Processes2. Concurrency3. Nondeterminism4. Communication5. Sequential Processes6. Shared Resources7. Discussion

by "Nielsen BookData"

Details

• NCID: BA00618492
• ISBN:
  • 0131532715
  • 0131532898
• LCCN: 84022324
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Englewood Cliffs, N.J.
• Pages/Volumes: viii, 256 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Parallel processing (Electronic computers)
• Parent Bibliography ID:
  • BA00010507