TY - JOUR T1 - Verifying linearisability with potential linearisation points JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2011/01/01 AU - Derrick J AU - Schellhorn G AU - Wehrheim H ED - DO - DOI: 10.1007/978-3-642-21437-0_25 VL - 6664 LNCS SP - 323 EP - 337 Y2 - 2025/05/25 ER -