Proof of a mutual exclusion algorithm—a classic example

  • Authors:
  • Micha Hofri

  • Affiliations:
  • Department of Computer Science, The Technion, Haifa, ISRAEL

  • Venue:
  • ACM SIGOPS Operating Systems Review
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract