Co-operating Sequential Processes


Edsger Wybe Dijkstra

Per Brinch Hansen (eds.)
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls, chapter 2, pages 65-138
Springer
2002

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.

Tags:

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Edsger Wybe Dijkstra

— editors

Per Brinch Hansen

— status

published

— sort

book chapter

— publication date

2002

— volume

The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls

— chapter

2

— pages

65-138

URLs

original page

identifiers

— print ISBN

0-387-95401-5

notes

— note

Reprinted. 1st edition: 1965

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY