A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 - Linearizability - Document - PDFSEARCH.IO

First Page	Meta Content
	A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 Add to Reading List Document Date: 2015-08-17 06:31:40 Open Document File Size: 712,75 KB Share Result on Facebook

A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1Add to Reading List