On Two Beautiful Solutions Designed by Martin Rem

  • Edsger W. Dijkstra
Part of the Texts and Monographs in Computer Science book series (MCS)


In recent correspondence with dr. Martin Rem —currently at the Department of Computer Science (mail code: 256-80), California Institute of Technology, PASADENA, California 91109, U.S.A.— he sent me two solutions which I think both so beautiful that they deserve a wider distribution; hence their inclusion in the EWD series; apart from some historical information and formal elaborations that have been added, and some cosmetic changes, I have essentially presented Rem’s solutions.


Mutual Exclusion Atomic Action Program Text Formal Elaboration Operating System Principle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1982

Authors and Affiliations

  • Edsger W. Dijkstra

There are no affiliations available

Personalised recommendations