TY - CONF T1 - Quiescent Consistency: Defining and Verifying Relaxed Linearizability PY - 2014/01/01 AU - Derrick J AU - Dongol B AU - Schellhorn G AU - Tofan B AU - Travkin O AU - Wehrheim H ED - DO - DOI: 10.1007/978-3-319-06410-9_15 PB - Springer International Publishing SN - 9783319064093 SP - 200 EP - 214 Y2 - 2024/12/26 ER -