A proof technique for register atomicity: Preliminary version

Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M.B. Vitányi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'A proof technique for register atomicity: Preliminary version'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics