@misc{indiciae4a8ad8eb9592,
  title = {Reasoning about concurrent loops and recursion with rely-guarantee rules},
  author = {Ian J. Hayes and Larissa A. Meinicke and Cliff B. Jones},
  year = {2026},
  url = {https://arxiv.org/abs/2512.06242},
  note = {Source identifier: 2512.06242}
}