Micha Hofri Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. 18-22 1990 24 Operating Systems Review 1 db/journals/sigops/sigops24.html#Hofri90