@misc{indiciae5f9a16a2a592,
  title = {Scenario-Based Proofs for Concurrent Objects [Extended Version]},
  author = {Constantin Enea and Eric Koskinen},
  year = {2024},
  url = {https://arxiv.org/abs/2301.05740},
  note = {Source identifier: 2301.05740}
}