@misc{indiciaea9bc104312ba,
  title = {Recursive Mutexes in Separation Logic},
  author = {Ke Du and William Mansky and Paolo G. Giarrusso and Gregory Malecha},
  year = {2026},
  url = {https://arxiv.org/abs/2601.22557},
  note = {Source identifier: 2601.22557}
}