A Constructive Approach for Proving Data Structures' Linearizability

Kfir Lev-Ari, Gregory Chockler, Idit Keidar

Technion - Israel Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Fingerprint

Dive into the research topics of 'A Constructive Approach for Proving Data Structures' Linearizability'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science