DMCA

Verifying linearizability: A comparative survey

Cached

Download Links

by Brijesh Dongol , John Derrick