Checking Linearizability of Encapsulated Extended Operations.

Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

Browse the full ESOP paper archive.