Kartik Nagar Prasita Mukherjee Suresh Jagannathan Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 2020 abs/2004.10158 CoRR https://arxiv.org/abs/2004.10158 db/journals/corr/corr2004.html#abs-2004-10158