DMCA

Verifying a Quantitative Relaxation of Linearizability via Refinement

Cached

Download Links

by Kiran Adhikari , James Street , Chao Wang , Yang Liu , Shao Jie Zhang
Citations:1 - 0 self