On Two Beautiful Solutions Designed by Martin Rem
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.
KeywordsMutual Exclusion Atomic Action Program Text Formal Elaboration Operating System Principle
Unable to display preview. Download preview PDF.