A Constructive Approach for Proving Data Structures’ Linearizability

Kfir Lev-Ari, Gregory Chockler, Idit Keidar

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

52 Downloads (Pure)
Filter
Finished

Search results