A Complete Program Logic for Compositional Linearizability.

Eashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng, Zhong Shao

Browse the full ECOOP paper archive.