Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 22, Issue , 2003, Pages 305-

  Bar David, Yoah ^b   Taubenfeld, Gadi ^a  

^a INTERDISCIPLINARY CENTER   (Israel)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; MICROPROCESSOR CHIPS; OPTIMIZATION; PERFORMANCE; SYNCHRONIZATION;

MUTUAL EXCLUSION PROBLEM; PETERSON ALGORITHM;

COMPUTER SCIENCE;

EID: 1142305218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (1)

1. G.L. Peterson. Myths about the mutual exclusion problem. Information Processing Letters, 12(3):115-116, 1981.