@misc{indiciae5dbb11078aae,
  title = {Towards Concurrent Quantitative Separation Logic},
  author = {Ira Fesefeldt and Joost-Pieter Katoen and Thomas Noll},
  year = {2024},
  url = {https://arxiv.org/abs/2207.02822},
  note = {Source identifier: 2207.02822}
}