Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.

Armando Castaeda, Gilde Valeria Rodrguez

Browse the full PODC paper archive.