Checking Linearizability of Encapsulated Extended Operations

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

Details

Publication typeInproceedings
PublisherProceedings of European Symposium on Programming (ESOP)
> Publications > Checking Linearizability of Encapsulated Extended Operations