TY  - CONF

T1  - Linearizability and Causality

JO  -  Software Engineering and Formal Methods

UR  - https://eprints.whiterose.ac.uk/id/eprint/113094

PY  - 2016/06/23

AU  - Doherty S

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/978-3-319-41591-8_4

PB  - Springer

SN  - 978-3-319-41590-1

VL  - 9763

SP  - 45

EP  - 60

Y2  - 2025/11/27

ER  -