Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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