Co-operating Sequential Processes

Preface. 

1. Introduction
2. On the Nature of Sequential Processes.
3. Loosely Connected Processes.
   1. A Simple Example.
   2. The Generalized Mutual Exclusion Problem.
   3. A Linguistic Interlude.
4. The Mutual Exclusion Problem Revisited.
   1. The Need for a More Realistic Solution.
   2. The Synchronizing Primitives.
   3. The Synchronizing Primitives Applied to the Mutual Exclusion Problem.
5. The General Semaphore.
   1. Typical Uses of the General Semaphore.
   2. The Superfluity of the General Semaphore.
   3. The Bounded Buffer.
6. Cooperation via Status Variables.
   1. An Example of a Priority Rule.
   2. An Example of Conversations
      1. Improvements of the Previous Program.
      2. Proving the Correctness.
7. The Problem of the Deadly Embrace.
   1. The Banker's Algorithm.
   2. The Banker's Algorithm Applied
8. Concluding Remarks.