@inbook{inbook, title  = {{Rely-Guarantee Is Coinductive}},

 publisher = {{Springer Nature Switzerland}},

 url = {{https://doi.org/10.1007/978-3-032-22720-1_9 }},

 year = {{2026}},

 month = {{1}},

 author = {{Derrick J and Edmonds C and Popescu A and Wright J}},

 doi = {{10.1007/978-3-032-22720-1_9}},

 isbn = {{9783032227195}},

 pages = {{220-251}},

 note = {{Accessed on 2026/04/25}}}