TY  - RPRT
TI  - Local Linearizability
AU  - Andreas Haas
AU  - Thomas A. Henzinger
AU  - Andreas Holzer
AU  - Christoph M. Kirsch
AU  - Michael Lippautz
AU  - Hannes Payer
AU  - Ali Sezgin
AU  - Ana Sokolova
AU  - Helmut Veith
PY  - 2016
UR  - https://arxiv.org/abs/1502.07118
ID  - 1502.07118
ER  -