Semaphore primitives and starvation-free mutual exclusion

This publication has 10 references indexed in Scilit:

• Data Requirements for Implementation of N -Process Mutual Exclusion Using a Single Shared Variable
  Journal of the ACM, 1982
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Reduction
  Communications of the ACM, 1975
• Multiprogramming Coordination
  ACM Computing Surveys, 1975
• Limitations of Dijkstra's Semaphore Primitives and Petri nets
  Published by Association for Computing Machinery (ACM) ,1973
• Synchronization of communicating processes
  Communications of the ACM, 1972
• Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?
  Acta Informatica, 1972
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971
• Additional comments on a problem in concurrent programming control
  Communications of the ACM, 1966