Aspect-oriented linearizability proofs

Chakraborty, Soham and Henzinger, Thomas A. and Sezgin, Ali and Vafeiadis, Viktor
(2015) Aspect-oriented linearizability proofs.
Logical Methods in Computer Science, 11 (1).

Full text not available from this repository.
Official URL: https://doi.org/10.2168/LMCS-11(1:20)2015

Actions

Actions (login required)

View Item View Item