@misc{indiciaecd7ef0501a72, title = {Causal Linearizability: Compositionality for Partially Ordered Executions}, author = {Simon Doherty and John Derrick and Brijesh Dongol and Heike Wehrheim}, year = {2018}, url = {https://arxiv.org/abs/1802.01866}, note = {Source identifier: 1802.01866} }