Sciweavers

ESOP   2012 European Symposium on Programming
Wall of Fame | Most Viewed ESOP-2012 Paper
ESOP
2012
Springer
12 years 21 hour ago
Concurrent Library Correctness on the TSO Memory Model
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
Sebastian Burckhardt, Alexey Gotsman, Madanlal Mus...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source281
2Download preprint from source262
3Download preprint from source259
4Download preprint from source243
5Download preprint from source235
6Download preprint from source222
7Download preprint from source206