TY  - CONF

T1  - Model Checking Buffered Durable Linearizability in CSP

UR  - https://doi.org/10.1007/978-3-032-10794-7_7

PY  - 2025/11/16

AU  - Edmonds C

AU  - Derrick J

AU  - Dongol B

AU  - Schellhorn G

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1007/978-3-032-10794-7_7

PB  - Springer Nature Switzerland

SN  - 9783032107930

SP  - 120

EP  - 139

Y2  - 2026/01/25

ER  -