@misc{indiciae2971b9fead09,
  title = {Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems},
  author = {Kartik Nagar and Prasita Mukherjee and Suresh Jagannathan},
  year = {2020},
  doi = {10.1007/978-3-030-53288-8\_13},
  url = {https://arxiv.org/abs/2004.10158},
  note = {Source identifier: 2004.10158}
}