Publisher's Synopsis
This text concentrates on a particular concurrent programming model, demonstrating by the use of examples of some the communication strategies now in use. Occam is chosen since it is simple with well defined semantics, and it has been attracting increasing interest with the expanding use of transputers.;After an introduction to the concepts of concurrent processing and coverage of the general techniques for communication models, the book covers more advanced topics including the use of concurrent processing in modelling data structures, the design of an operating system using Occam, the application of concurrency to real-time systems and the need for higher level communication primitives. The text includes examples and a full case study of the simulation of digital systems using Occam.;In addition to the careful and detailed coverage of concurrent systems and the Occam language, the author also discusses many new topics and includes consideration of why a non data structure language such as Occam is assuming such importance.;The textbook discusses concurrency in general, using the Occam programming language to illustrate the principles and some of the problems involved.;This book should be of interest to third year students on computer science and electrical engineering courses.
