When does a correct mutual exclusion algorithm guarantee mutual exclusion?

Information Processing Letters

Volumn 76, Issue 3, 2000, Pages 131-134

  Lamport, Leslie ^a   Perl, Sharon ^a   Weihl, William ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT;

TRUE MUTUAL EXCLUSION;

CONCURRENT ENGINEERING;

EID: 0034540703     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(00)00132-0     Document Type: Article

References (2)

1. Dijkstra E.W. Solution of a problem in concurrent programming control. Comm. ACM. Vol. 8:(9):1965;569.
2. Lamport L. How to make a correct multiprocess program execute correctly on a multiprocessor. IEEE Trans. Comput. Vol. 46:(7):1997;779-782.