TY  - JOUR
A1  - Derrick, John
A1  - Dongol, Brijesh
A1  - Schellhorn, Gerhard
A1  - Tofan, Bogdan
A1  - Travkin, Oleg
A1  - Wehrheim, Heike
T1  - Quiescent consistency: defining and verifying relaxed linearizability
T2  - Lecture Notes in Computer Science
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64062
SN  - 9783319064093
SN  - 9783319064109
SN  - 0302-9743
SN  - 1611-3349
VL  - 8442
SP  - 200
EP  - 214
PB  - Springer International
CY  - Cham
ER  -