@inproceedings{inproceedings, title  = {{Rely-Guarantee Is Coinductive: – A Proof-Centered Investigation of Inductively Approximated Coinduction –}},

 url = {{}},

 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}},

 volume = {{16501 LNCS}},

 journal = {{Lecture Notes in Computer Science}},

 pages = {{220-251}},

 note = {{Accessed on 2026/05/14}}}