Tech Report Number
89-913
Date of this Version
10-6-1989
Recommended Citation
Hofri, Micha, "Proof of a Mutual Exclusion Algorithm-- A `Class'ic Example" (1989). Department of Computer Science Technical Reports. Paper 779.
https://docs.lib.purdue.edu/cstech/779
Number of Pages
5