Proof of a mutual exclusion algorithm---a classic example
Hofri, MichaVolume:
24
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/90994.91002
Date:
January, 1990
File:
PDF, 245 KB
english, 1990