On Correctness of Data Structures under Reads-Write Concurrency

Kfir Lev-Ari, Gregory Chockler, Idit Keidar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

85 Downloads (Pure)

Search results