Compositionality and Observational Refinement for Linearizability with Crashes. - Arthur Oliveira Vale; Zhongye Wang; Yixuan Chen 002; Peixin You; Zhong Shao 001 (Proc. ACM Program. Lang., 2024)