TY  - RPRT
TI  - Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
AU  - Kartik Nagar
AU  - Prasita Mukherjee
AU  - Suresh Jagannathan
PY  - 2020
DO  - 10.1007/978-3-030-53288-8_13
UR  - https://arxiv.org/abs/2004.10158
ID  - 2004.10158
ER  -