MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Communicating sequential processes / C.A.R. Hoare.

By: Hoare, C. A. R. (Charles Antony Richard), 1934-.
Material type: materialTypeLabelBookSeries: Prentice-Hall International series in computer science.Publisher: Englewood Cliffs, N.J. : Prentice/Hall International, c1985Description: viii, 256 p. : ill. ; 24 cm. + pbk.ISBN: 0131532898 .Subject(s): Computer programming | Parallel processing (Electronic computers)DDC classification: 511.8
Contents:
Processes -- Concurrency -- Nondeterminism -- Communication -- Sequential processes -- Shared resources -- Discussion.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 511.8 (Browse shelf(Opens below)) 1 Available 00027298
Total holds: 0

Enhanced descriptions from Syndetics:

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.

Bibliography: (pages 251-252) and index.

Processes -- Concurrency -- Nondeterminism -- Communication -- Sequential processes -- Shared resources -- Discussion.

Table of contents provided by Syndetics

  • 1 Processes
  • 2 Concurrency
  • 3 Nondeterminism
  • 4 Communication
  • 5 Sequential Processes
  • 6 Shared Resources
  • 7 Discussion