ePrints

Reasoning about concurrent loops and recursion with rely-guarantee rules

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

The full text of this item is currently under embargo and cannot be made publicly available until after publication.

Publication metadata

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

Publication type: Online Publication

Publication status: Submitted

Series Title: arXiv

Year: 2026

Description: submitted to conference

Publisher: arXiv

Access Date: 2026

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

DOI: 10.48550/arXiv.2512.06242

Share