ePrints

Reasoning about concurrent loops and recursion with rely-guarantee rules

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Publication metadata

Author(s): Hayes IJ, Meinicke LA, Jones CB

Publication type: Online Publication

Publication status: Published

Series Title: arXiv

Year: 2026

Acceptance date: 06/12/2025

Publisher: arXiv

Access Date: 2026

URL: https://doi.org/10.48550/arXiv.2512.06242

DOI: 10.48550/arXiv.2512.06242

ePrints DOI: 10.57711/7nr0-v503

Notes: Submitted to conference

Share